[HN Gopher] Should Have Used Ada (SHUA) #1 - Goto Fail
       ___________________________________________________________________
        
       Should Have Used Ada (SHUA) #1 - Goto Fail
        
       Author : jaypatelani
       Score  : 10 points
       Date   : 2024-07-21 10:11 UTC (13 hours ago)
        
 (HTM) web link (annexi-strayline.com)
 (TXT) w3m dump (annexi-strayline.com)
        
       | eggy wrote:
       | It's why we are planning on using Ada/SPARK2014 for our show
       | control automation software and rewriting C drivers on the
       | hardware being used for the show action equipment in SPARK2014.
       | Nothing else is close at the moment. Looking forward to more
       | SHUA!
        
       | bitwize wrote:
       | I'm currently reviving an old project of mine to rewrite Unix
       | core tools in Ada. It's like a dress rehearsal: if I can write
       | simple stuff like cp, ls, cat, etc. in this cantankerous but
       | powerful and safe language, I'll be set up to write more
       | complicated stuff in it.
        
       | bvrmn wrote:
       | It seems the root issue is atrocious sha1 hash calculation
       | interface (openssl) not the language per se. What possible errors
       | sha1 could return while updating a hash state from a byte buffer
       | with a known size?
        
         | bitwize wrote:
         | It's not the language per se, but Ada helps by being a bit more
         | tedious on the initial implementation side, but vastly more
         | helpful on the "okay, what the fuck did I write here, how does
         | it work, and what happens when it fails?" side.
         | 
         | Sometimes, a good choice of language can help you mitigate
         | sticky wickets that aren't language problems in their own
         | right.
        
       ___________________________________________________________________
       (page generated 2024-07-21 23:16 UTC)