I just skimmed the article and stumbled upon this sentence about Elm:
> The type system is so safe that it does not allow any runtime exception to occur.
This is not true. Of course there are ways to throw unindented runtime exceptions with Elm but it's somewhat hard to do. For example, creating invalid regular expressions on the fly won't be catched by the compiler.