Type state analysis

[Atila Neves]

On Sunday, 17 March 2024 at 15:35:40 UTC, Paul Backus wrote:
> On Sunday, 17 March 2024 at 06:51:23 UTC, Richard (Rikki) 
> Andrew Cattermole wrote:
>> [...]
>
> Yet another proposal for a humongous language feature to solve 
> a problem that can already be solved without it.
>
> It is possible to achieve temporal safety in D already with 
> `scope` (DIP 1000) and `@system` variables (DIP 1035). The 
> ergonomics are not great, but they can be improved (e.g., with 
> built-in move-on-last-use).
>
> This proposal specifically has the same problem as `@live`: it 
> splits `@safe` code into separate "new `@safe`" and "old 
> `@safe`" dialects, which are mutually incompatible.
>
> The ideas themselves are not terrible. I would be interested to 
> see what this looks like implemented in a research language. 
> But I do not think it has any place in D.

I second all of the above.