Re: [ANNOUNCE] Ajla: a new purely functional programming language
Henning Thielemann <[email protected]>
| Newsgroups | gmane.comp.lang.haskell.cafe |
|---|---|
| Message-ID | <[email protected]> |
On Mon, 27 May 2024, [email protected] 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. _______________________________________________ Haskell-Cafe mailing list To (un)subscribe, modify options or view archives go to: http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-cafe Only members subscribed via the mailman list are allowed to post.