Re: Ada (was Re: Tree Sitter)

[Stephen Leake]

Stephen Leake <stephen_leake@stephe-leake.org> writes:

>> There are far more modern systems programming languages out there
>> (like Rust) that statically guarantee far more, including that use
>> after free is impossible, that  threads cannot have data races, that
>> null pointers cannot exist. This should not be surprising, as type
>> theory (and programming language theory in general) has advanced
>> dramatically in the last 40 years.
>
> Ada has kept up with some of that; the next ISO version is due in
> 2022.

The current Ada/SPARK allows enforcing the ownership model for pointers.
Ada 2022 has structures supporting parallelizing loops and blocks.

-- 
-- Stephe