Tags: Programming Language.
Strongtalk is a Smalltalk environment with optional static typing support. Strongtalk can make some compile time checks and offer stronger type-safety guarantees; this is the source of its name. It is non-commercial though it was originally a commercial project developed by a small start-up company called LongView Technologies (trading as Animorphic Systems).