Comment by afiori
3 months ago
I feel like exceptions where added as a mix of "look we can do that too" and "maybe if so many functions return optional values then it is going to be too much of a pain to use"
In hindsight I think few would now regret not having added them in the first place.
> maybe if so many functions return optional values then it is going to be too much of a pain to use
I strongly believe that there is a point in the PL design space that makes optionals everywhere usable. Maybe Haskell can still be the language that delivers this.
To plug my own solution, my effect system Bluefin makes exceptions visible in the type, well-scoped, and also freely composable with all other effects:
https://hackage.haskell.org/package/bluefin-0.0.3.0/docs/Blu...