Programmation Fonctionnelle, Ocaml et Opam

Version & licenses
Creative Commons License

Programmation Fonctionnelle, installer Ocaml.

Guyslain Naves

La façon la plus simple d'installer et de gérer Ocaml sur votre ordinateur personnel est d'utiliser Opam. Opam est un gestionnaire de paquets pour Ocaml. Il permet d'installer et gérer les librairies Ocaml que vous souhaitez utiliser ainsi que d'installer certains utilitaires facilitant la programmation en Ocaml.

Pour l'installer, suivez les instructions de cette page

Pour l'utiliser, quelques commandes :

  • opam update, à faire avant chaque opération pour synchroniser opam avec le serveur et ainsi rester à jour.
  • opam init --comp 4.02.1 (ou opam init), la première fois que vous utilisez opam. Cela va ordonner à opam d'installer la suite de compilation d'Ocaml, dans la version que vous lui avez indiqué (ici la version 4.02.1). Si vous donnez un numéro de version, il devra compiler le compilateur, donc cela prend un peu de temps. Suivez attentivement les instructions à l'écran. à la fin, évaluez la ligne eval `opam config env`. Maintenant Ocaml est installé et prêt à être utilisé.
  • opam install <package> pour installer un paquet particulier.

Quelques paquets utiles pour commencer :

  • tuareg, un mode pour programmer en Ocaml sous emacs,
  • utop, un toplevel en console avec des facilités pour l'édition,
  • ocaml-top, un éditeur léger dédié à Ocaml, parfait pour débuter,
  • merlin, pour ajouter l'autocomplétion sous emacs,

Certains de ces paquets nécessitent que les librairies adaptées soient installés sur votre système. Si ce n'est pas le cas opam échouera en vous indiquant le nom d'un fichier d'extension .h manquant sur votre système. Retrouvez dans quel paquet du système ce fichier se trouve et installez-le, puis relancez l'installation avec opam.

Voici la liste des paquets Debian/Ubuntu que j'utilise :

  • ocaml-native-compilers
  • camlp4-extra
  • m4
  • libpcre3-dev
  • zlib1g-dev
  • ncurses-dev
  • libgdbm-dev
  • libssl-dev
  • libgtksourceview2.0-dev
  • emacs
  • opam

Et la liste des paquets Opam :

  • tuareg, mode Ocaml pour l'éditeur emacs,
  • merlin, analyseur syntaxique, utilisable par emacs et tuareg pour la complétion et les annotations de types.
  • utop, toplevel Ocaml,
  • ocaml-top, éditeur de programme,
  • qcheck, pour faire des tests unitaires,
  • core, alternative à la libraire standard,
  • yojson, pour la lecture de fichiers json,
  • xmlm, pour la lecture de fichiers xml,
  • cohttp, pour le réseau,
  • js_of_ocaml, compilateur Ocaml vers Javascript,
  • gg, libraire d'objets géométriques,
  • vg, libraire de dessin vectoriel,
  • ocsigenserver, serveur web,
  • eliom, librairie pour l'écriture de service web basé sur ocsigenserver.

Pour tuareg et merlin, il reste à configurer votre éditeur de texte. Regardez la sortie d'Opam : les instructions sont données.