Re: Ada (was Re: Tree Sitter)

[Perry E. Metzger]

On 7/26/21 05:42, Stephen Leake wrote:
> 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.
A separation logic like SPARK is necessarily going to have tools to 
track pointers. That's rather different from the general language itself 
being able to do that. Vectorizing loops is cool but not in the same 
class as what Rust makes possible. But I really think we should drop 
this, it's not Emacs related any more.


Perry