TFA says that was done answering an Haskell programmer. Probably that an Haskell programmer values strong static typing just as much as functional programming.

TFA says that was done answering an Haskell programmer. Probably that an Haskell programmer values strong static typing just as much as functional programming. I someone think that turning C from a weakly static type system to a strongly static one would prove quite more difficult... (but my C days are long gone so don't quote me on that).