Types can turn all runtime exceptions in to compile time errors. See: https://www.infoq.com/news/2017/05/elm-zero-runtime-exception https://www.infoq.com/news/2

Types can turn all runtime exceptions in to compile time errors. See: https://www.infoq.com/news/2017/05/elm-zero-runtime-exception https://www.infoq.com/news/2017/05/elm-zero-runtime-exceptio... I assume you're not claiming that experienced developers never have runtime exceptions, or that they're always easy to solve.