A nice tutorial on returning multiple errors from a type checker in OCaml (as opposed to just failing at the first one):
Quote Tweet
[Blog] Advanced Error Handling in OCaml
keleshev.com/advanced-error
Conversation
Have you used a condition system ala Common Lisp / Dylan? Could also do something similar with effects, I guess.
1
1
Yeah, I think you could definitely use effects and handlers for something like this! Not sure about conditions – I only brushed up against them when Rust had a condition system, but they didn't last long enough for me to understand them!
1
1
Show replies