Ada is my favorite 'almost' language. I'm writing a Kalman filter example in it right now. Just about every programming error from some large C/C++ codebase wouldn't happen in Ada. It's got manual and automatic memory management, separate storage pools, packed arrays, arbitrary precision floating point types, fixed point types, checked integers, generic packages and functions, tasking, real-time support (how many other languages have a Delay_Until function in the standard library?)... It's like graphene - it does everything except get used in the real world (outside of specialized applications like Aerospace).
A fun thing to do is look for Ada tutorials from after the year 2000. There aren't many.
A fun thing to do is look for Ada tutorials from after the year 2000. There aren't many.