Comment Re:Oh Thank God (Score -1) 219
Not the only one, don't forget Ada 95. It's more largely used, and has a greate open source compiler (GNAT).It is, however, the only industrial strictly object-oriented language with static typing enforced thoroughly on all levels
Though it doesn't have Design By Contract... And has interesting exception handling structures.