Re:Oh Thank God (Score -1)

It is, however, the only industrial strictly object-oriented language with static typing enforced thoroughly on all levels

Not the only one, don't forget Ada 95. It's more largely used, and has a greate open source compiler (GNAT).
Though it doesn't have Design By Contract... And has interesting exception handling structures.