First Draft: Static Single Assignment

Richard (Rikki) Andrew Cattermole richard at cattermole.co.nz
Fri Nov 28 06:55:41 UTC 2025


On 28/11/2025 7:50 PM, Kapendev wrote:
> It's better to keep some things outside of the language sometimes just 
> to keep things simple. Don't have a source, but I would say that people 
> new to D already find `const` and `immutable` a bit confusing.

Most of the time we have to describe the difference between headconst 
and transitive const anyway.

If anything by having a variant of headconst it'll make it easier to 
explain.

A lot of the confusion comes from transitive const being weaker than 
transitive immutable. Few languages have this. This proposal doesn't 
affect this.



More information about the dip.development mailing list