Categories: Class-based programming languages | Object-oriented programming languages | Programming languages
Strongtalk is a Smalltalk environment that can make some compile time checks. It is non comercial.