Re: ISO: The Eiffel OO programming language and IDE, on VMS

On 3/26/2025 7:55 PM, Lawrence D'Oliveiro wrote:

On Wed, 26 Mar 2025 18:43:36 -0400, Arne Vajhøj wrote:

Ada has a lot of good features.

 There’s a project called “SPARK” which is putting together a more
verifiable subset of Ada, with the aim of eventually including the
whole language.

I have no experience with Spark, but my understanding is that it is
a subset of Ada with added contracts for verification.
But even "plain" Ada is very good.
Question: can one call a language where lower and upper bounds
of integer types are given by CPU architecture and not by
the problem domain for type safe?
If the answer is no, then that eliminates a lot of languages.
Arne