I find Self to be worth checking out, as well ( http://research.sun.com/self/ ) if for no other reason than seeing how fast dynamic languages can be. The research that went into it--techniques for blazing fast implementations of highly dynamic, object-oriented languages--has become especially relevant and provides the basis for many of the numerous new Javascript vms (especially V8). With regards to Smalltalk and its…
I could imagine a deployment process where code can't be deployed unless it's all statically typed. This lets you do very fluid rapid prototyping, but then firm up parts of the system once they go into production.