Ada crate of the year 2024 announced

https://blog.adacore.com/ada-spark-crate-of-the-year-2024-winners-announced

by LionelDraghi • 1 year ago

106 54 1 year ago

blog.adacore.com

ltbarcly33• 1 year ago

Its interesting how PR works (I'm being earnest) . A library nobody uses for a language almost none of us will ever use (developed by the US government and never adopted for any project for any use case except where required by US contracting requirements, and even then almost always given an exception to not use it) is the top story on HN. Well done.

Please note: I'm not saying Ada is bad, it is a very interesting language and well ahead of it's time. I'm just saying it's not popular or in widespread use when compared to almost any other computer language you can list (which is just an objective fact), so it is interesting to me that this made it to #1. Please try to keep that in mind.

skissane• 1 year ago

and never adopted except where required by contract requirements

A lot of the software on the Boeing 777 is written in Ada. AFAIK, that was Boeing’s decision, not due to any government contract requirement-as a commercial aircraft, governments are not the primary customers

currymj2• 1 year ago

1) memory safety at compiler level, 2) type systems that have dependent types or similar such features, are both things people have gotten interested in again recently, especially because of the excitement around Rust. (you can see this connection from the use of the word "crate" here, which is a Rust term originally.)

Ada is a language that had features dealing with these problems way back in the 1980s, so people have suddenly become interested in revisiting it.

ltbarcly33• 1 year ago

I agree it's an interesting footnote in computer history.

fresh_broccoli• 1 year ago

1) memory safety at compiler level

Ada isn't memory safe. It doesn't have anything resembling a borrow checker. The spec used to allow an optional garbage collector, but that was never widely used in practice and was removed in Ada 2012. The average production codebase relies on Unchecked_Free/Unchecked_Deallocation for memory management.

I find it genuinely baffling that so many people who praise Ada clearly don't know and/or don't use the language.

airstrike• 1 year ago

Please don't post insinuations about astroturfing, shilling, brigading, foreign agents, and the like. It degrades discussion and is usually mistaken. If you're worried about abuse, email hn@ycombinator.com and we'll look at the data.

https://news.ycombinator.com/newsguidelines.html

synergy20• 1 year ago

is rust reinventing the wheel here? i have been thinking rust is just the new Ada,but more complicated.

ltbarcly33• 1 year ago

Rust is the new C++ but safe. That's what it is trying to be and pretty much what it is.

Ada is not a 'good' language by moderns standards. If you tried to use it you would probably be extremely frustrated. This isn't because it's poorly made, languages have grown a lot since the 80's. The C++ they wrote in 1985 would be extremely frustrating to work with by modern standards too.

shaky-carrousel• 1 year ago

A lot of us hold Ada in high regard. Your comment is a typical example of someone not realizing how much they don't know.

Capricorn2481• 1 year ago

It only needed ~20 upvotes to get to the top story. You make it sound like they moved heaven and earth to get on here.

pyrale• 1 year ago

never adopted for any project for any use case except where required by US contracting requirements

AFAIK, this is wrong. I've seen the language used for a core system continuously developed over decades at a financial institution with no link to the US, for instance.

Jtsummers2• 1 year ago

It's also used in aerospace and safety critical systems work in Europe, though I'm not sure the extent. In the US, post-mandate, that work is almost all Fortran, C, C++, or now maybe Rust (I'm meaning work that started after the mandate, pre-mandate it was more varied).

787 was the newest system I worked on in the US that used Ada, and that was optional for the software vendors. I think the OS our software ran on was written in Ada, though.

dang• 1 year ago

Ada would count as an exotic / niche language for most of this community and those are perennially popular on HN. That's sufficient to explain the upvotes (which looked legit to me when I checked the data).

Also, these things tend to come in waves, even though we try to discourage that, and this was on the frontpage for 10 hours yesterday:

Ada Gems (2014) - https://news.ycombinator.com/item?id=42986149 - Feb 2025 (9 comments)

rustyconover• 1 year ago

Ada was the first language they threw at us in university back in '98. At the time, it felt like learning Latin to become a poet, but looking back, those lessons—rigor, clarity, and discipline—have aged better than some modern frameworks. Ada may not trend on GitHub, but it quietly shaped a generation of better programmers.

kqr2• 1 year ago

Indeed. As a concrete example of one of those things Ada gets very right, it breaks down object-oriented programming into separate features of

- encapsulation,

- reuse,

- inheritance, and

- dynamic dispatch.

In Ada, you can opt into each of those things separately, depending on what you need “object-oriented programming” for. This is in big contrast to Java, where you type the keyword “class” and then all of that comes along for the ride.

I never truly understood OOP until I worked a bit with Ada.

MortyWaves• 1 year ago

Do you have some examples of this? Sounds interesting. But unsure what is different to plain composition approaches?

m463• 1 year ago

If other languages just had the wonderful package and package body, they would have solved many or even most of my problems.

tolerance• 1 year ago

What kind of programs did they teach you to write in the language?

ChuckMcM• 1 year ago

I believe for the same reasons that Latin helps develop a foundation in language, the people who designed it were looking at the problem from many different levels all at the same time. The first language I encountered with split behavioral / code components was Mesa at Xerox, and then Modula 2. (later VHDL but that's different?)

I think at the other end are lisp/forth list/stack languages which made this particular crate: https://github.com/BrentSeidel/Ada-Lisp-Embedded/tree/main/s... getting an award interesting to me. The combination of the two languages has an expressibility that individually they don't possess.

throwup2382• 1 year ago

I’m not sure whether to agree or disagree with this perspective/analogy. On the one hand, Latin declinations prepare one for a wide variety of languages as diverse as English, French, and Russian, on the other hand the Roman Republic/Empire had such a wide influence - supposedly a third of the global population at its peak - that it’s hard to extricate the path dependency from the true influence of Romance languages.

There’s so much cross pollination in programming languages that I’m not sure where to draw the line. Even trying to probably isn’t worth the effort.

taurknaut3• 1 year ago

Bro come on

taurknaut3• 1 year ago

Oh yes I'm screenshotting this for the textbook

taurknaut3• 1 year ago

I'll believe it when I see it. This smells like boarding-school braggadocio.

andrewl-hn• 1 year ago

Interesting that they decided to adopt the word "crate" (from Rust) for libraries published to the registry, and just like Rust they use TOML as a format for a package file.

bongodongobob• 1 year ago

Why is that interesting?

Philpax• 1 year ago

Ada influenced Rust, so it's interesting to see that influence flow backwards, too.

nicce• 1 year ago

Ada has already "package" term used in a different context.

tiffanyh2• 1 year ago

Has anyone developed in SPARK [0]?

My understanding, its significantly safer than Rust (and based on Ada) with equal performance.

A comparison chart of Ada vs Rust vs SPARK [1].

Most notable: Rust mainly provides memory safety ... but SPARK provides not just memory safety, but also safety from all run-time errors, formal properties, constraint checks, and more.

[0] https://en.wikipedia.org/wiki/SPARK_(programming_language)

[1] https://blog.adacore.com/should-i-choose-ada-spark-or-rust-o...

Ygg2• 1 year ago

My understanding, its significantly safer than Rust (and based on Ada) with equal performance.

Ada or Ada Spark? Ada Spark is more of a theorem prover, so the comparison to Rust is a bit weird.

It's true it's safer - it will protect you from a more programming errors, but you need more annotations to prove properties of a program.

ajxs• 1 year ago

I'd never seen [1] before. Thanks for the link! That's a great and even-handed discussion of the topic.

I've written a lot of hobby Ada code. I really like the language. Recently I did some research into how memory safety in Ada/SPARK compares with Rust[0]. My conclusion was that Rust is better at outright preventing common memory-related errors, but Ada has a lot of great features which let you avoid them in the first place. SPARK is a bit intimidating, but you can pretty much achieve parity with Rust on memory safety, and achieve a higher degree of safety overall. I got a real kick out of someone's comment on Reddit saying 'Both Ada and Rust benefit from not being C'.

0: https://ajxs.me/blog/How_Does_Adas_Memory_Safety_Compare_Aga...

tiffanyh2• 1 year ago

Amazing blog post, learned a lot.

Thanks for writing & sharing it.

fiddlerwoaroof3• 1 year ago

I haven’t tried Ada recently, but the issue I always have run into is setting up a toolchain that wouldn’t automatically force the binaries I compile to be GPLed. Is the story for writing and distributing MIT or Apache2 licensed software in Ada any better these days?

Jtsummers2• 1 year ago

That's been a non-issue for several years now.

fiddlerwoaroof3• 1 year ago

Good to know, I passed over Ada for Common Lisp around 2015 because of this.

actionfromafar• 1 year ago

I wonder if some misconception can have snuck in there somehow. GCC (which also has an Ada compiler) has its lowest level link libraries under GPL. But there's a link level exception. This is the same for C, C++, Ada, whatever languages GCC supports. (IIRC.)

(Edit: apparently it used to a problem as per sibling comment?)

fiddlerwoaroof3• 1 year ago

The binaries AdaCore used to distribute stated that you had to get gnat elsewhere for this link level exception because the runtime library they distributed did not have the exception. But, I'm glad to know that this restriction has been solved.

watersb• 1 year ago

I recall my C++ class, via the University of California Extension program.

In the 1990s Bay Area, there was a catalog of hundreds of classes, taught after business hours or on weekends. The classes for security certification, or BGP routing, or C++, teacher and students were usually industry professionals.

We learned C++ object design of a style I would consider fairly strict, strong typing. Details escape me at the moment.

But I do remember the two graybeard Ada programmers sitting in the back of the room: "C++ compiler will accept that? Are you kidding?"

Raytheon or Honeywell, I think. Missile drivers.

Ada programmers.

Ada crate of the year 2024 announced

Related Stories