Jeremy Yallop explique ce que sont les types irréguliers, et comment réussir à les utiliser (en)

Certains types récursifs sont particulièrement compliqués, et le typeur d'OCaml n'est pas toujours capable de les affronter. Mais en rusant un petit peu, on arrive parfois à s'en sortir.