> this is a solved problem, I don't understand why languages (...) insist on not having sane Option, Either, Try etc types. This is not a "problem" as much as

> this is a solved problem, I don't understand why languages (...) insist on not having sane Option, Either, Try etc types. This is not a "problem" as much as a conscious philosophical stance: Errors don't actually exist, only conditions that you dislike. All the error handling you need is if/else. Everything else is unnecessary emotional baggage on some conditions that should not pollute your language. And even less so, gasp, your types (!).