Ada
- Community site: ada-lang.io
- Learning Ada: learn.adacore.com
- 98 Posts
- 6 Comments
Amen! But as a believer in Ada, I’d say those who code in other languages need God’s help more. ✨
Not only this startup speaks highly of Ada. Here’s another example of successful application of this technology in space: SPARK/Ada for high integrity spacecraft software.
Adato Programming•Which language you wish would really grow and reach mainstream adoption?3·1 year agoI’m new to Lemmy. Appreciate the heads-up, thank you! 👍
Adato Programming•Which language you wish would really grow and reach mainstream adoption?183·1 year agoI would like to see Ada grow. Its clean syntax, rich expressive capabilities, and early error detection by the compiler due to strict typing create a very pleasant experience during development. This year, the language got a new standard. Recently, a package manager and a community index were created. There’s an extension/LSP for vscode, etc. Along with great educational materials on learn.adacore.com, it’s easy to pick up and start using this language.
PS I created a community on p.d two days ago: https://programming.dev/c/ada
Ada is good at compiling files separately. Slowdowns can occur in name resolution, for example in the statement
Proc (Fun_1 (Fun_2 (Fun_3 (Fun_4 (Var)))));
if you have function names overloaded, the number of combinations the compiler has to consider grows exonentially with the number of nesting levels. So it may take time to find the right combination. I think the Ada 83 compilers were slow because of their experimental status, when the authors tried to implement all the features of the language without worrying about performance. The computer capabilities of those years were minuscule.In this frontend, they stored the parse tree in the file system: Diana