First Draft: Static Single Assignment

Dom Disc dominikus at scherkl.de
Wed Dec 3 10:53:04 UTC 2025


On Wednesday, 3 December 2025 at 10:43:53 UTC, Peter C wrote:
> On Wednesday, 3 December 2025 at 10:18:50 UTC, Nick Treleaven 
> wrote:
>> Just to note that final on a dynamic array `a` should mean 
>> that `a.ptr` and `a.length` never change, but elements e.g. 
>> `a[0]` can change. So if final was allowed on fields, both 
>> assignments above would error.
>
> Yes, I forgot how dynamic arrays work.

This doesn't seem to be very useful. If you want a dynamic array 
that can't change length, why don't you use a static array?!?


More information about the dip.development mailing list