Hi there,
for my master thesis I need to formally define the Elm language. (more on that at a later date) I really want to say that Elm has no run-time errors, that would make things a lot easier.
Sorry, I’m not answering your question directly but here I’d like to add that even if you ignore runtime errors caused by recursion, there are still other runtime exceptions. Testing two functions for equality will cause a runtime exception (though hopefully this will become a compile time error in the future) and if your app runs out of memory that will also cause a runtime exception (I doubt this can be prevented).