# Ada

131 Hacker News commenters recommended Ada and 34 criticized it, November 2025 to November 2026. It was recommended in 12 of 13 months. It meets the Hacker Approved badge rule.

**Verdict:** Recommended for safety-critical and embedded work thanks to strong typing, readability and decades of backward-compatible stability; critics find it verbose, ceremonious and stuck in a niche.

## Why people recommend it

- Built for safety-critical reliability (9 comments): "Unmatched in hard real-time systems via deterministic scheduling, priority inheritance, bounded execution time analysis" ([source](https://news.ycombinator.com/item?id=46745796)) "We use Ada still in industry application. Developing, implementation, installation and forget it because its running." ([source](https://news.ycombinator.com/item?id=47823196)) "SPARK proves what Rust's borrow checker only approximates, and does so with mathematical proof, not heuristics." ([source](https://news.ycombinator.com/item?id=46013471))
- Great for embedded and hardware (4 comments): "Ada is very scalable, suitable for everything from blinking LEDs on an AVR microcontroller board to controlling interplanetary spacecraft." ([source](https://news.ycombinator.com/item?id=46017250)) "Unmatched in hard real-time systems via deterministic scheduling, priority inheritance, bounded execution time analysis" ([source](https://news.ycombinator.com/item?id=46745796)) "Ada has been designed for embedded programming and the language includes constructs for directly manipulating hardware" ([source](https://news.ycombinator.com/item?id=46514567))
- Readable, expressive syntax (4 comments): "The abstract syntax of Ada is in many cases superior to that of the C-derived languages, but I also dislike its verbosity." ([source](https://news.ycombinator.com/item?id=47286298)) "it is readable, it is modern, it has many features both for embedded and general purpose use" ([source](https://news.ycombinator.com/item?id=49423239)) "It was explicitly designed to be very readable, and for use in safety-critical systems." ([source](https://news.ycombinator.com/item?id=47306553))
- Stable, backward-compatible standards (4 comments): "We use Ada still in industry application. Developing, implementation, installation and forget it because its running." ([source](https://news.ycombinator.com/item?id=47823196)) "it was trying to stop missiles from being maintained in 450 incompatible dialects, which... it actaully did?" ([source](https://news.ycombinator.com/item?id=47810351)) "the core of Ada has survived with only significantly useful extensions added on in later standards" ([source](https://news.ycombinator.com/item?id=46928504))

## What people warn about

- Verbose, ceremony-heavy code (3 comments): "The abstract syntax of Ada is in many cases superior to that of the C-derived languages, but I also dislike its verbosity." ([source](https://news.ycombinator.com/item?id=47286298)) "My initial enthusiasm for the idea of Ada and Spark evaporated when I saw how much ceremony the code required." ([source](https://news.ycombinator.com/item?id=46299153)) "Not going with C/C++/Rust style brace syntax probably cost them more devs than anything else" ([source](https://news.ycombinator.com/item?id=47811490))
- Niche, unapproachable, limited adoption (5 comments): "The objective of consolidating DOD systems on Ada failed, the mandate was short-lived and exceptions were broadly available." ([source](https://news.ycombinator.com/item?id=47810481)) "ADA didn't help; it was cumbersome to get working well, and ADA experience in the contracting agencies was low." ([source](https://news.ycombinator.com/item?id=47807736)) "All of which were good solutions useful for "everything" in their domain. But people hate them, mostly." ([source](https://news.ycombinator.com/item?id=46313961))

## Alternatives hackers recommend

- [Rust](https://hackerapproved.com/p/rust.md): 2039 recommend
- [Go](https://hackerapproved.com/p/go-programming-language.md): 1254 recommend
- [Python](https://hackerapproved.com/p/python.md): 1067 recommend
- [Zig](https://hackerapproved.com/p/zig.md): 743 recommend
- [TypeScript](https://hackerapproved.com/p/typescript.md): 574 recommend

## Cite as

Hacker Approved, "Ada", https://hackerapproved.com/p/ada-programming-language/ (counts from 1,795,640 Hacker News comments, November 2025 to November 2026).