Hot take: Exceptions are a fine error-handling mechanism.
I think so, in this case, because you could always implement exceptions as a whole-program transform to a monadic style. (And in fact this is what most ML implementations do, I think…)
-
-
OCaml uses a stripped down variant of SjLj, if I recall correctly.
-
yeah, here's an overview. it doesn't have any CSRs so exception return is just a jump, and setting up a frame is pushing two pointers. it's pretty cute.https://github.com/ocaml-multicore/ocaml-multicore/wiki/Native-code-notes …
- 2 more replies
New conversation -
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.