Languages such as Haskell which move more logic into the type system are safer. A big reason for this is that the errors are more often than not at compile tim

Languages such as Haskell which move more logic into the type system are safer. A big reason for this is that the errors are more often than not at compile time. I'm the real world this means you deal with a bug after trying to compile, rather than an intern 8 months later trying to fix a runtime error, who is struggling to understand the codebase, much less make a good bugfix that also takes backwards compatibility into account.