From: arne@vajhoej.dk   
      
   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   
      
   --- SoupGate-DOS v1.05   
    * Origin: you cannot sedate... all the things you hate (1:229/2)