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
1
2
7
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
In CL, you can even let the user handle the error and replace a form in the code via a condition handler.
1
1
Yeah, I think effects and handlers let you do similar – would be interesting to see a comparison of the approaches!