OCaml est un langage de programmation axé sur la fiabilité et la performance du code. Il est multiparadigme : il permet au développeur de choisir sa façon de coder : fonctionnelle, impérative ou encore orientée objet. OCaml supporte tous ces styles de programmation. OCaml est aussi multi plate-forme : il fonctionne indifféremment sur Windows, Mac et les systèmes UNIX/Linux.