3 ms·
I, for one, would gladly trade threaded GC and unchecked effects for checked exceptions... Unless there is a way to implement some kind of poor man checked exce
by rixed 7y ago
I, for one, would gladly trade threaded GC and unchecked effects for checked exceptions...
Unless there is a way to implement some kind of poor man checked exceptions with unchecked effects?
- cultus 7y agoAlgebraic effects can do all of that and more. They're all checked, because you must provide handlers for effects you include.
- rixed 7y agoThe tutorial sited in that thread [0] explicitly says the opposite though. [0] https://github.com/ocamllabs/ocaml-effects-tutorial/blob/master/README.md https://github.com/ocamllabs/ocaml-effects-tutorial/blob/mas...
- ameixaseca 7y agoPlease see [1]. Around 28:45 the talk moves to effect types. At around 29:25 the proposed mechanism (with throw) is literally described as "checked exceptions". AFAIK, this is all part of the roadmap. [1] https://www.janestreet.com/tech-talks/effective-programming/ https://www.janestreet.com/tech-talks/effective-programming/
- rixed 7y agoYes thank you, exactly what I was looking for.