А статью прочитать слабо?
Автор статьи провёл исследование, в котором взял 4 проекта на Питоне и построчно перевёл их на Хаскель. При этом обнаружил кучу ошибок в Питоновских вариантах, которые были бы отловлены компилятором, если бы эти проекты с самого начала были написаны на Хаскеле.
И переписывание этих проектов не имело серьёзных проблем, связанных с динамической типизацией Питона -- это означает ошибочность утверждения динамистов, что статическая типизация ограничивает их свободу (не любая программа компилируется из-за ограничений статической типизации).