4 ms·

Indeed Ada found popularity for aircraft software Rust is part of a modernized iteration in language design this century Nobody is calling for Ada code to be

by __s 1y ago

Indeed Ada found popularity for aircraft software Rust is part of a modernized iteration in language design this century Nobody is calling for Ada code to be rewritten in Rust. But at this point you'd want an argument to choose Ada over Rust when it has become more widespread, especially in open source projects Here's someone else's take on your question a few years ago: https://news.ycombinator.com/item?id=28347930 https://news.ycombinator.com/item?id=28347930

johnisgood 1y ago
Just for the curious, Ada is used in these industries: - Avionics - ATM - Space - Rail - Automotive - Defense - Security - Medical https://www.adacore.com/about-ada https://www.adacore.com/about-ada You can find lots of resources here to learn Ada / SPARK: https://learn.adacore.com https://learn.adacore.com or just to see what is up. Alternatively, there are good blog posts, too.
johnisgood 1y ago
I thought I should reply separately to your comment, but I do not see how he got to the conclusion "in other words, if your goal is to write a (say) safe implementation of the DOM that can render real-world web pages while efficiently using memory on a general-purpose computer, Ada is probably the wrong tool for the job.". My only "issue" here would be its verbosity, which is why I choose C still quite often.
- __s 1y ago
  They were opining that Ada is unsuitable for fine grained data structures (like Rust being awkward with linked lists) & lacking mature graphics APIs For years I used a C window manager I wrote which was less than 150 lines[1], it can definitely be a terse language. But I've also written pretty tight Rust code for a card game engine & its http server. I don't think Rust is particularly more verbose. Rust code can be artistic too[2] 1. https://github.com/serprex/nobox/blob/master/nobox.c https://github.com/serprex/nobox/blob/master/nobox.c 2. https://github.com/serprex/Kelxquoia/blob/master/src/main.rs https://github.com/serprex/Kelxquoia/blob/master/src/main.rs
  - johnisgood 1y ago
    To be honest, I have not yet written Rust seriously, so I cannot comment as much on it. I mostly use C, OCaml, Lua, at times Perl, these days. I do not know how much the language would feel like it is getting in the way of "expressing" my thoughts. https://github.com/serprex/nobox/blob/master/nobox.c https://github.com/serprex/nobox/blob/master/nobox.c is definitely terse. :D I get lost just by looking at it; a little bit of refactoring (indentation-wise) would help though.

by __s 1y ago

johnisgood 1y ago

Just for the curious, Ada is used in these industries: - Avionics - ATM - Space - Rail - Automotive - Defense - Security - Medical https://www.adacore.com/about-ada https://www.adacore.com/about-ada You can find lots of resources here to learn Ada / SPARK: https://learn.adacore.com https://learn.adacore.com or just to see what is up. Alternatively, there are good blog posts, too.

johnisgood 1y ago

I thought I should reply separately to your comment, but I do not see how he got to the conclusion "in other words, if your goal is to write a (say) safe implementation of the DOM that can render real-world web pages while efficiently using memory on a general-purpose computer, Ada is probably the wrong tool for the job.". My only "issue" here would be its verbosity, which is why I choose C still quite often.

__s 1y ago
They were opining that Ada is unsuitable for fine grained data structures (like Rust being awkward with linked lists) & lacking mature graphics APIs For years I used a C window manager I wrote which was less than 150 lines[1], it can definitely be a terse language. But I've also written pretty tight Rust code for a card game engine & its http server. I don't think Rust is particularly more verbose. Rust code can be artistic too[2] 1. https://github.com/serprex/nobox/blob/master/nobox.c https://github.com/serprex/nobox/blob/master/nobox.c 2. https://github.com/serprex/Kelxquoia/blob/master/src/main.rs https://github.com/serprex/Kelxquoia/blob/master/src/main.rs
- johnisgood 1y ago
  To be honest, I have not yet written Rust seriously, so I cannot comment as much on it. I mostly use C, OCaml, Lua, at times Perl, these days. I do not know how much the language would feel like it is getting in the way of "expressing" my thoughts. https://github.com/serprex/nobox/blob/master/nobox.c https://github.com/serprex/nobox/blob/master/nobox.c is definitely terse. :D I get lost just by looking at it; a little bit of refactoring (indentation-wise) would help though.