Discussion about this post

User's avatar
Anès Foufa's avatar

Thank you for the article. There are in fact discussions and proposals to model exceptions in the type annotations. It did not go far AFAIK but it's a recurring discussion.

Funny typo: Ocalm instead of Ocaml, specially for a French speaker.

George V. Reilly's avatar

One of the influential sources of the "parse, don't validate" mantra is https://lexi-lambda.github.io/blog/2019/11/05/parse-don-t-validate/

5 more comments...

No posts

Ready for more?