[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: Ada (was Re: Tree Sitter)

From: Perry E. Metzger
Subject: Re: Ada (was Re: Tree Sitter)
Date: Mon, 26 Jul 2021 10:01:53 -0400
User-agent: Mozilla/5.0 (Macintosh; Intel Mac OS X 10.15; rv:91.0) Gecko/20100101 Thunderbird/91.0

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
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.


reply via email to

[Prev in Thread] Current Thread [Next in Thread]