Specific reason for not embracing the use of exceptions for error propagation?


… and here, all along, is the experimental implementation of ocaml with a type system tracking effects:

meaning exceptions can be tracked through the type system!
I think the problem may be it’s non-backward compatibilty but I hope it eventually gets into the distro on a switch of some sort anyway.