Temporally safe by default

[Dukc]

On Tuesday, 9 April 2024 at 14:20:22 UTC, Bruce Carneal wrote:
> We're not in an either/or situation here.  We can certainly 
> improve GC and we can explore the space between our, improving, 
> GC and malloc()...

Yes we can. My point is, since each language feature has a 
complexity cost, and since deteministic memory management is so 
rarely needed, any improvement to it need to have a much better 
benefit-to-complexity ratio than something that improves the 
whole language.

Any large overhaul of the type system to improve memory 
management by RAII or ref counting will have hard time justifying 
itself, unless it also provides a lot of other benefits.