Your description of Maybe isn't correct. When a function returns a Maybe it's not throwing an exception. Maybe is a separate type (like String) so when a function returns a Maybe String that is the type of the returned value. It's saying the returned value is one of two things. It's a Nothing, or it's an actual String that you can use.
There's a big difference between an exception being thrown at actual *runtime* that gets caught by some safety net at *runtime*, and the compiler type checking all of your code at *compile time*. -- You received this message because you are subscribed to the Google Groups "Elm Discuss" group. To unsubscribe from this group and stop receiving emails from it, send an email to elm-discuss+unsubscr...@googlegroups.com. For more options, visit https://groups.google.com/d/optout.