I learned to program in dynamic languages (that's not quite true, my first couple of weeks programming were in Pascal), primarily javascript but also some ruby

I learned to program in dynamic languages (that's not quite true, my first couple of weeks programming were in Pascal), primarily javascript but also some ruby and PHP. I continued using mostly javascript for about 2 years, and I was strongly opposed to static typing (largely because of my exposure to Pascal, but also because I did a whole lot of crazy stuff in javascript that was completely dependent upon weak dynamic typing). Then I learned Haskell, which I was more open to because I had heard I didn't need to write down any type information. With Haskell I learned that static typing was great because it created a documentation for your code that was self enforcing, and as Haskellers love saying, if the code typechecked, it probably works as expected. Now I prefer working in a statically typed environment. But for none of the reasons presented in this article, which I think is just presenting information that those used to dynamic typing will turn their head at.