On: I learned Haskell in just 15 years

[Nemerie]

Does it make it type-safe though? In dynamic languages type errors also result in exceptions.