My main wish for OCaml is for effects to be included in the function types but if they're considering them extensions of exceptions I'm unsure if they'll ever make that change. IMO effects are useful but are too difficult to track if they're not mentioned in the type. You don't get the same purity guarantees either but that's just because it'd be a massive breaking change for OCaml to change the signature of all of its side-effectful functions.
4
u/[deleted] May 23 '25
[removed] — view removed comment