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.

Expand full comment
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/

Expand full comment
5 more comments...

No posts