First Draft: Static Single Assignment

[Peter C]

On Friday, 5 December 2025 at 12:20:29 UTC, monkyyy wrote:
> On Saturday, 15 November 2025 at 07:13:13 UTC, Walter Bright 
> wrote:
>> https://www.digitalmars.com/d/archives/digitalmars/dip/ideas/Single_Assignment_1765.html
>
> if its not going to be part of the type system it shouldnt 
> exist; your pandering to safetyphiles with a tool they wont 
> use, like @live, so you can talk about it on hakernews, like 
> @live.
>
> Hakernews driven development may not be sound design process.
>
> I suggest asking for a template wizard to handle whatever your 
> compiler dev usecase with a uda hack. Everyone else uses 
> smaller functions with less goto's when they get confused.

Not every safety feature has to be a deep type-system construct. 
Some are useful simply as pragmatic compiler-enforced checks that 
improve clarity and reduce bugs.

If final can ensure a variable is assigned only once - helping 
prevent subtle reassignment bugs without complex changes to the 
type machinery - then it's worth investigating. And that, as I 
understand it, is exactly what's happening here.

I'd also note that dismissive, personally insulting, and 
confrontational comments don't add much to the discussion. It 
would be more helpful to focus on building a clear technical 
critique that moves the conversation forward.