Nicely put. I'd also argue that the divide between dynamic, and static typing systems has fallen down. Almost completely. Java/C# and even Haskell have dynami

Nicely put. I'd also argue that the divide between dynamic, and static typing systems has fallen down. Almost completely. Java/C# and even Haskell have dynamic typing. They even sort of have a scripting feel. However, you can also statically type dynamic languages, and dynamic languages are getting static typing too. For example, JavaScript with asm.js. Lots of type inference is done by IDEs and lint systems now. Even with python, static type checking is very possible (both at the C level, and at the python level).