[ilaksh]

He did not actually say his criticism only applies to statically typed languages. He almost implied that he would consider dynamically typed languages invalid by default without the types.

It does matter that there is a lot of successful software written in languages that are dynamically typed or use type inference when some want to dismiss these approaches entirely. Because it proves that these approaches can still result in useful and reliable software and productive software engineering.