Hacker News Reader

Ada = Boomer Rust <==> Rust = Millennial Ada

I can imagine Boomers laughing but the Rustaceans not seeing the humour in it at all. I could be wrong...

Sadly, Rust still lacks some features that Ada has. For example, range types[1] (a narrow case of the dependent types).

[1] https://en.wikibooks.org/wiki/Ada_Programming/Types/range

In my talk I expounded on how people were concerned with safety even in the 80s, and how Ada provides tools to construct programs that were safe in many other ways besides just memory safety.

Millennials are getting old though. When is Gen Z going to build a language? They probably won't though, because it's hard to ask an AI to build a brand new Ada for you.

Reply on news.ycombinator.com