For those interested in trying Ada out, I wrote a a Rustup-like app that installs Ada's package manager (Alire) on macOS and Linux: <a href="https://www.getada.dev" rel="nofollow">https://www.getada.dev</a><p>It was also featured on HN (194 points | 6 months ago | 117 comments: <a href="https://news.ycombinator.com/item?id=40132373">https://news.ycombinator.com/item?id=40132373</a><p>I've gone from not having anything Ada related on my computer to installing the toolchain, initiating a project , writing, compiling, and running "Hello World" in less then 2 minutes.<p>Ada has had something of a resurgence in the last couple years, with the latest standard (2022) officially released and for the first time in a few years, Ada has its own dev room at FOSDEM! <a href="https://fosdem.org/2025/news/2024-10-28-devrooms-announced/" rel="nofollow">https://fosdem.org/2025/news/2024-10-28-devrooms-announced/</a><p>There's also a growing community at ada-lang.io with a thriving forum: <a href="https://forum.ada-lang.io/" rel="nofollow">https://forum.ada-lang.io/</a>
> It being a one-pass compiler bugs me (there is no excuse for a modern language to require forward declarations).<p>He refers to the need for forward declarations as "one-pass compiler". Historically at least, Ada compilers were infamous for requiring many passes and being consequently slow.<p>Whether it is still acceptable for a programming language to require forward declaration seems to me rather a matter of personal taste. Sure, compilers improved and there's plenty of memory for them to use, but human programmers' capacity increased little, if any, I'd think. I think of those forward declarations as form of double-entry bookkeeping.
I once did an engineering camp at the Air Force academy and in one of the classes we programmed Lego mindstorms with Ada - something like <a href="https://www.adacore.com/academia/projects/real-time-mindstorms" rel="nofollow">https://www.adacore.com/academia/projects/real-time-mindstor...</a><p>I do wish we had better options for embedded! Even C++ isn't making much headway against C when it comes to programming microcontrollers.
<a href="https://learn.adacore.com" rel="nofollow">https://learn.adacore.com</a><p>A collection of less random and more up to date walks through Ada if this piqued your interest. It's been kept up to date with the latest language features and more tutorials. Also, helpfully, has comparative tutorials to see some features side-by-side in Ada, Java, C++, and C.
I recently started writing Ada again, a couple of years after I did a bunch of projects with it. The amazing things is how easy it is to go back and update old code due to how much semantic information gets embedded in it and how few symbols it uses.
There is a phrase that might be confusing for those who do not know Ada:<p>"As a historical note, earlier versions of Ada forbade reading from out variables, which allowed more efficient calling conventions, but modern Ada allows it because otherwise people went insane."<p>What is meant is that the "out" parameters behave like local variables without initializers, which upon entry into a function are likely to have invalid values.<p>Therefore you cannot read an "out" parameter before assigning a value to it. After the first assignment, it can be read or written at any time before the function returns.<p>Depending on the type, an "out" parameter is implemented as either a CPU register whose value is unknown upon function entry or as a reference to a memory area allocated in the caller, but uninitialized.<p>The specification of the function parameters as "in", "out" or "in out" and the irrelevance and transparency of how the compiler chooses to pass the parameters is one of the best features of Ada.<p>This has not been invented by the creators of Ada, but it has been invented by some anonymous Department of Defense employees or contractors.<p>This feature was included in the DoD "Requirements for High Order Computer Programming Languages", "IRONMAN" from the July 1977 revision. It was probably already present in the first version of "IRONMAN" from January 1977.<p>It is a huge mistake in the design of almost all programming languages that have appeared after Ada that they do not include this feature.<p>The lack of distinction between "out" and "in out" parameters has serious consequences especially for the object-oriented languages. The lack of this feature has caused a very large part of the complexity of C++ and also most of the performance problems of the C++ versions from before 2011.<p>When "out" and "in out" parameters are distinguished, there is no need for the existence of constructors as a separate concept. Any ordinary function with an "out" parameter can be used wherever C++ requires a dedicated constructor. Instead of constructors, it is enough to have an identifier convention for functions that should be called by the compiler when you want implicit initialization or implicit conversions.<p>Moreover, there is no need to care about "copy" semantics and "move" semantics or about temporaries which are or which are not generated by the compiler. It is easy for the compiler to always choose the best implementation without programmer intervention, when it knows the correct parameter modes for the functions.
Related:<p><i>A Random Walk Through Ada (2014)</i> - <a href="https://news.ycombinator.com/item?id=12850919">https://news.ycombinator.com/item?id=12850919</a> - Nov 2016 (88 comments)<p><i>A Random Walk Through Ada (2014)</i> - <a href="https://news.ycombinator.com/item?id=9674408">https://news.ycombinator.com/item?id=9674408</a> - June 2015 (14 comments)