Post B6RWIEQ8cP9wwZplKK by ChateauErin@mastodon.social
 (DIR) More posts by ChateauErin@mastodon.social
 (DIR) Post #B6RRMPBg1wIViwEyq8 by 0x4d6165@transfem.social
       0 likes, 0 repeats
       
       @stellarskylark@solarpunk.moe also ROVs!
       
 (DIR) Post #B6RWIEQ8cP9wwZplKK by ChateauErin@mastodon.social
       0 likes, 0 repeats
       
       @stellarskylark In one of my first NASA contractor roles one of the books we had lying around was on Ada, and I really hoped for a chance to use it but ended up stuck with Fortran 77, C, and C++.there were a couple other neat domain-specific ones too.  HAL/S had the weird multiline format https://en.wikipedia.org/wiki/HAL/S and has stuck in my head for a long time but didn't seem particularly good really
       
 (DIR) Post #B6RXnYoewEiL89o2qW by TomF@mastodon.gamedev.place
       0 likes, 0 repeats
       
       @stellarskylark It's quite annoying to use in practice because of those limits. For the F35 the companies campaigned long and hard to be able to use a highly restricted subset of C++, because Ada was too difficult.I'm not kidding, it's literally called the "Joint Strike Fighter Air Vehicle C++ Coding Standards". That's how much they disliked Ada :-(
       
 (DIR) Post #B6RZd0TbxNMDdo3YbQ by MrBerard@mastodon.acm.org
       0 likes, 0 repeats
       
       @stellarskylark The trajectory control software of the European rocket Ariane V was written in Ada. The rocket exploded on its maiden flight. Not the language's fault, mind you...
       
 (DIR) Post #B6RbJBIcCzO1K7aThI by brettm@swarm.coiloptic.org
       0 likes, 0 repeats
       
       @stellarskylark@solarpunk.moe i think its kinda a "designed by committee" type thing where they threw in the kitchen sink like c++. i think a lot of users like air force had a list of subset of ada and no one could use the other bits, like they do for c++. its probably more feasable to program in the subset.
       
 (DIR) Post #B6Rd00340xXSptIKFE by kevin@fedi.kbg.sh
       0 likes, 0 repeats
       
       @stellarskylark @TomF Ada has been my main systems language for about a decade and I really like it, despite some major warts. Feel free to ask me any questions you have
       
 (DIR) Post #B6RgQBwCjT7J6NGc40 by kevin@fedi.kbg.sh
       0 likes, 0 repeats
       
       @stellarskylark @TomF ok, so, I guess what I would say is that it’s very “unsystematic” in the sense that there are lots of weird special cases. This is especially the case with the type system. Like if you’re used to ML like languages, you’d want to be able to speak of type expressions, but Ada just doesn’t have that. Another is that because generics are supposed to be runtime instantiable, there’re lots of limitations on how generic parameters can be used
       
 (DIR) Post #B6S7BpglM2xKo1QDom by sys64738@www.librepunk.club
       0 likes, 0 repeats
       
       @stellarskylark have you heard of adacore spark? it's like ada but with 'builtin' formal verification for even stronger guarantees. rust pales with it in comparison
       
 (DIR) Post #B6SClZQzlTEuacuJIu by JonathanGerlach@mastodon.social
       0 likes, 0 repeats
       
       @stellarskylark A coworker who loves Ada and used it for a decade as a DoD contractor said his favorite parts of the language are the "tasking" and "rendezvous" concurrency APIs.