Type state analysis
Atila Neves
atila.neves at gmail.com
Mon Apr 8 18:18:43 UTC 2024
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.
More information about the dip.ideas
mailing list