26 May
2024
26 May
'24
10:24 p.m.
On Mon, 27 May 2024, jo@durchholz.org wrote:
On 26.05.24 23:57, Mikulas Patocka wrote:
Ajla has efficient mutable arrays - if an array's reference count is one, the array is modified in place. If not, a copy of the array is created and modified.
That design decision restricts you to reference-counting garbage collectors. These have multiple problems and restrictions, such as: ...
Interestingly, Lean4 made the same design decision (for reference counting) for the same reason (in-place array updates). I am also sceptical.