Ada has packages, generics, exceptions, concurrency, default values, operator overloading, user defined types, fixed point, subtypes (so you can, for example, l

Ada has packages, generics, exceptions, concurrency, default values, operator overloading, user defined types, fixed point, subtypes (so you can, for example, limit an integer to the range 0..100, and then the compiler has to check to see that it is used correctly everywhere), pooled memory, built in run type checking, pragmas, etc., etc.