OCaml
La naissance de OCaml
OCaml est un langage de la famille ML (Meta Language, langage généraliste fonctionnel). La notion de ML est apparu dans les années 1970. L’intérêt c’était de trouver un moyen de prouver qu’un programme fonctionne correctement. Avec ML cette garantie…