I agree with most of what you said, but this is a bit naive: > If you prefer dynamic languages you are just a bit lazier and short sighted. In theory, the onl

I agree with most of what you said, but this is a bit naive: > If you prefer dynamic languages you are just a bit lazier and short sighted. In theory, the only drawback of a statically typed language is the up front work required to make the compiler happy. In practice, you end up losing a lot of expressive power, and abstractions that were previously effortless now either add a lot of verbosity/complexity, or are simply impossible. Scala is the most expressive statically typed language I've seen, but even there you often have to jump through hoops to implement certain abstractions in a type safe way. The decision to use a dynamic language is not about laziness.