Cette catégorie a pour but de rassembler des ressources et discussions autour d’OCaml et de son écosystème.
OCaml est la principale variante du langage Caml. Du point de vue du langage, elle étend le noyau du langage Caml avec une couche orientée objets complète, ainsi qu’un système de modules puissant. Un système de types polymorphe avec inférence automatique des types assure la cohérence de ces traits.