Recherche:

Il s'agit d'une auto-promotion.
Mais ça me paraissait quand même une référence utile sur l'inférence de type en OCaml, et à laquelle j'aimerais bien connaître un équivalent (officiel si possible).

En tant que programmeur fonctionnel il est toujours plus intéressant de questionner le pourquoi plutôt que le comment.
En particulier ce qui t'aide à corriger tes programmes ce n'est pas comment il...