First Draft: Static Single Assignment

[Peter C]

On Friday, 28 November 2025 at 02:11:55 UTC, Kapendev wrote:
> On Thursday, 27 November 2025 at 22:14:08 UTC, Peter C wrote:
>> On Thursday, 27 November 2025 at 19:41:18 UTC, Jonathan M 
>> Davis wrote:
>>>
>>> ..
>>> - Jonathan M Davis
>>
>> The 'real' motivation seems clear to me: It's a proposal for a 
>> minimalist, pragmatic implementation of single-assignment 
>> semantics in D.
>
> The minimalist and pragmatic thing would be to not make it part 
> of the language and let tooling handle it. Less work for 
> everyone, core D devs don't have to do something and users 
> don't have to learn and work with one more const-like keyword.

When 'final' (or 'fixed' as I prefer it) appears, it documents 
intent and becomes part of the public contract.

This is not something that should be left to a linter.

It's a semantic guarantee, not just a style hint, and so needs to 
be a compile‑time contract.