Ce tutoriel a été rédigé à l'origine par iPoulet (unpoulet [at] gmail [dot] com) et placé sous licence
CC-BY-SA. L'auteur n'a malheureusement plus le temps de s'en occuper mais souhaite quand même laisser son cours en ligne pour qu'il puisse profiter au plus grand nombre. Si vous souhaitez reprendre sa rédaction ou tout simplement en améliorer le contenu, l'équipe du SdZ vous invite à prendre contact avec un des
validateurs.
Vous ne connaissez pas encore OCaml ? C'est un langage élégant, simple et permettant l'utilisation du paradigme de programmation fonctionnelle, dont vous avez peut-être entendu parler et sur lequel nous reviendrons. Issu directement du milieu de la recherche, il se voit doté de concepts poussés et très modernes, comme nous le verrons.
Concis, il est également adapté à l'apprentissage de l'
algorithmique, grâce notamment à sa gestion automatique de la mémoire efficace qui simplifie la tâche du programmeur. En outre, il laisse au programmeur la possibilité d'utiliser les paradigmes impératif et orienté-objet.
Enfin, il s'agit d'un langage inteprété, ce qui permet d'utiliser par exemple l'interpréteur interactif ; mais c'est aussi un langage compilé, ce qui lui assure des performances relativement bonnes, et une certaine sécurité puisque le typage, par exemple, est vérifié à la compilation, ce qui évite de nombreuses erreurs à l'exécution. Nous reviendrons également sur toutes ces notions.
Que demander de plus ? En avant !
Même si pour le moment le cours semble un peu vide, il va peu à peu s'étoffer et il abordera notamment des sujets beaucoup plus concrets que la simple étude de la syntaxe du langage.
N'hésitez pas à vous entraîner en programmant en OCaml à côté du tutoriel. N'hésitez pas non plus à poster sur le forum Autres Langages, ou à lire d'autres documents sur ce fabuleux langage, ou sur la programmation fonctionnelle !