I still regret the death of Strongtalk --- a gradually typed Smalltalk variant. It gave you dynamic types, when you wanted them; and Smalltalk is pretty much t

I still regret the death of Strongtalk --- a gradually typed Smalltalk variant. It gave you dynamic types, when you wanted them; and Smalltalk is pretty much the most dynamic of dynamically typed languages. And it gave you static types, when you want them; including proper parametric types and polymorphism. So you got the best of both worlds. http://www.bracha.org/nwst.html http://www.bracha.org/nwst.html