There are all sorts of optimizations that are much harder to do in a non statically typed language. There are also all types of guaranteed safe automated refactoring you can do with a statically type language. I shutter to think about using a non type safe language with a large code base.