Comment by fire_lake
3 months ago
> 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...