Contrairement à la plupart des langages de programmation, OCaml a été conçu autour de son système de types. Autrement dit, en OCaml, les types occupent une place centrale, et ça se voit !

Pour illustrer ce concept, parcourons ensemble les différentes options qui existent pour mettre en œuvre le concept de polymorphisme.