48 ms·
That's not really the point I was making. Ada has been around since the 70's and at that time, was possibly the correct choice to make given the criteria. The q
by bluejekyll 7y ago
That's not really the point I was making. Ada has been around since the 70's and at that time, was possibly the correct choice to make given the criteria. The question I asked at the end, and the title of this article, is why would I pick Ada today?
The best reason I've seen is because it's already passed the hurdles in some industries as being a compliant language for their needs. That might be a good enough reason for some, but it's not one that's important to me.
- blub 7y agoThat seems like a trick question, because obviously you wouldn't pick Ada, you would pick Rust. And then you would talk about Rust, and mention how great Rust is, perhaps in a thread about Ada, which hadn't mentioned Rust at all. Or a thread about C, or about C++ or even about Go or why not even Python and JavaScript. But seriously now: the author didn't mention Rust because they probably don't even know it exists. I work in embedded and like to ask people offering courses / tooling / services around safety if they support Rust and the only answer I got so far is "no". A lot of those people either don't know about Rust or they don't care, because everyone's using C and C++.
- steveklabnik 7y agoHackaday has written several articles about Rust, though I don't believe any of them were by this author.
- vardump 7y agoI'd really love to read a fair and comprehensive comparison and review of Ada and Rust. Safety, performance, concurrency, low level ABI compatibility etc. Ada does seem interesting, but all the buzz seems to be about Rust. Perhaps Ada deserves more interest?
- irundebian 7y agoAt least a short comparison of Ada/SPARK and Rust: https://www.electronicdesign.com/industrial/rust-and-spark-software-reliability-everyone https://www.electronicdesign.com/industrial/rust-and-spark-s...
- vardump 7y agoThanks, while short, it sure looks interesting. SPARK statically checked function pre- and postconditions and constrained types certainly look very interesting especially for embedded systems. And for a lot of other low level code as well.