First Draft: Static Single Assignment

Paul Backus snarwin at gmail.com
Sun Dec 7 15:34:55 UTC 2025


On Sunday, 7 December 2025 at 06:02:53 UTC, Walter Bright wrote:
> On 11/14/2025 11:13 PM, Walter Bright wrote:
>> https://www.digitalmars.com/d/archives/digitalmars/dip/ideas/Single_Assignment_1765.html
>
> My implementation isn't going too well. I keep finding more and 
> more special cases, and some that are difficult to resolve. The 
> problems stem from the complex ways one can do an assignment.
>
> Ironically, this complexity is dealt with via the type system. 
> But final isn't a part of the type system, so things become a 
> morass of special cases.
>
> I thought this would be a simple implementation :-/

I guess all I can say is, I tried to warn you.


More information about the dip.development mailing list