Wikipedia

OCaml est un langage essentiellement développé en France notamment par l'INRIA. C'est un langage fonctionnel. C'est un langage développé par des universitaires avec une approche très formelle. Néanmoins, c'est un langage utilisé dans l'industrie notamment quand il s'agit de prouver la validité d'un programme.

C'est un langage difficile à maîtriser, on va se limiter aux bases.

Pour faire des tests, vous pourrez utiliser un environnement en ligne

Comme souvent, vous disposez à la fois d'une console dans laquelle vous pouvez entrer des commandes qui seront exécutées immédiatement. Le prompt de la console est représenté par le caractère #.

Vous pouvez aussi enregistrer vos commandes dans un fichier et les exécuter ensuite.

• Syntaxe
• Fonctions
• Types algébriques et enregistrements
• Listes