[erulabs]

I could not agree more - and in fact, have no recourse when a developer tells me with a straight face that their code "cannot crash". The worlds best type system doesn't prevent timeouts, running out of disk space, memory, etc. The attitude I typically receive when trying to push pragmatism instead of idealism is usually a "you just don't understand". Throwing an exception is _not_ the worst thing a program can do, by a hell of a long shot!

[Skinney]

«Cannot crash» != «cannot fail». There are a bunch of things in Elm that can fail, but the language forces you, «through types», to deal with those situations.

That doesn’t mean developers make apps that deal with errors reasonably, but the developers should be aware of every part of the application that can fail.

Exception, of course, beeing stavk overflows as we haven’t solved the halting problem yet.