[HN Gopher] Ada on any ARM Cortex-M device, in just a couple min...
       ___________________________________________________________________
        
       Ada on any ARM Cortex-M device, in just a couple minutes
        
       Author : okl
       Score  : 52 points
       Date   : 2021-11-11 19:06 UTC (3 hours ago)
        
 (HTM) web link (blog.adacore.com)
 (TXT) w3m dump (blog.adacore.com)
        
       | exdsq wrote:
       | Anyone here using ADA for general development?
        
       | eggy wrote:
       | I'm learning SPARK2014, a subset of Ada, for a controls software
       | package I am trying to put together. I started in C, thought
       | about using Rust or Zig, but finally settled on SPARK after
       | reading through most of these two books:
       | 
       | Analysable Real-Time Systems: Programmed in Ada
       | 
       | Building High Integrity Applications with SPARK
       | 
       | I typically enjoy conciseness, and at first I was put off by
       | Ada's verbosity, but then I think my old memory of Pascal clicked
       | and I am enjoying the experience.
       | 
       | A few examples of Ada/SPARK on embedded processors also added to
       | the range or possibilities along with High-integrity software and
       | tooling.
        
       | dmitrygr wrote:
       | s/Conlusion/Conclusion/g
        
       ___________________________________________________________________
       (page generated 2021-11-11 23:01 UTC)