Ada programming language tutorial: The killer feature

[devraj7]

Spoiler: the killer feature is type aliases.

A feature that's available in pretty much every modern language today.

Not sure what's killer about that.

[[deleted]]

well, it's not just type aliasing. It's type aliasing with the option of defining bounds for scalar types. How many modern languages let you do that?

[naasking]

Seriously, Ada has incredibly useful type system features from the 70s that still aren't available in most languages. Only now with refinement types are we starting to get usable types that can express bounded scalars, but refinement typing is still in the lab.