Paulo Pinto:
A presentation about the ParaSail, system programming language
based on Ada.
https://air.mozilla.org/region-based-storage-management-parasailing-without-a-garbage-chute/
Seems interesting, almost 90 minutes of talk. Do you know if
there is a link to download the slides?
It makes use of regions and compiler inference to automatically
manage memory, instead of using a GC.
It sounds similar to what Rust does.
Maybe some ideas for D types with custom allocators.
To manage the regions Rust uses specific features of the type
system (and a specific built-in syntax to parametrize types
according to their region with a T/region syntax).
Bye,
bearophile
