[Haskell-cafe] [ANNOUNCE] Ajla: a new purely functional programming language

[Henning Thielemann]

On Mon, 27 May 2024, jo at 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.