4 ms·
does Ada have a big enough user base for there to be people around to do kernel work? People seem to love Rust. I've never seen that kind of enthusiasm for A
by fnord77 5y ago
does Ada have a big enough user base for there to be people around to do kernel work?
People seem to love Rust. I've never seen that kind of enthusiasm for Ada.
- johnisgood 5y agoI know. That is one of the major issues: lack of hype. Most Rust enthusiasts have not even heard of the language, or they did and they have misconceptions about it. If they truly care about safety, they should definitely check Ada/SPARK out.
- rp1 5y agoWhat advantages does Ada have over Rust (in terms of memory safety)?
- rcxdude 5y agoAda/SPARK allows formal verification of many more properties than just memory safety. Ada on its own does not have the same kind of memory safety guarantees as rust though.
- Quekid5 5y ago(I have no horse in this race, just curious.) Are there any non-proprietary implementations of Ada/SPARK which don't place limitations on the compiler output?
- MaxBarraclough 5y agoApparently [0][1] the FSF distribution of GNAT permits development of non-GPL software. [0] https://news.ycombinator.com/item?id=24492653 https://news.ycombinator.com/item?id=24492653 [1] https://old.reddit.com/r/ada/comments/3989f4/gnat_gpl_restrictions/ https://old.reddit.com/r/ada/comments/3989f4/gnat_gpl_restri...
- Quekid5 5y agoI was asking the opposite question, I think. I know of GNAT, but I was asking whether there's any Ada/Spark that has a GPL (or whatever non-proprietary) license.