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