Lambda@lemmy.catoProgramming@programming.dev•What are your favorite statically typed, compiled, memory safe programming languages?
253·
22 days agoAda, hands down. Every time I go to learn Rust I’m disappointed by the lack of safety. I get that it’s miles ahead of C++, but that’s not much. I get that it strikes a much better balance than Ada (it’s not too hard to get it to compile) but it still leaves a lot to be desired in terms of safe interfacing. Plus it’s memory model is more complicated than it needs to be (though Ada’s secondary stack takes some getting used to).
I wonder if any other Ada devs have experience with rust and can make a better comparison?
Apparently it’s not even really all that stable, so that whole container would rapidly decompose into probably carbon dioxide (CO2) and a bunch of pure carbon (think charcoal). At least that’s my hunch. There is a Wikipedia article on the stuff, but it’s pretty short, since it’s a pretty unusual chemical (https://en.m.wikipedia.org/wiki/Dicarbon_monoxide ).
CO2 is of course extremely common. I’d love to see what a chemist can describe about a bottle of C2O though!