01 – À la découverte de Caml

  1. Expressions et évaluation
  2. Types
  3. Variables et liaisons
  4. Fonctions
  5. Expressions conditionnelles
  • TP n°1 – À la découverte de Caml

Pour la semaine prochaine :

  • Installer Ocaml sur votre machine (voir ici).
  • Terminer le TP n°1 ; faire également les exercices est plus que vivement conseillé.
  • Préparer l’exercice n°7 du TP n°1 à l’écrit pour le TD de la semaine prochaine.

Installer OCaml sur sa machine

Il est plus que vivement conseillé d’installer OCaml sur sa machine personnelle afin de pouvoir travailler chez soi, reprendre les TP, et vérifier ses programmes.

Si vous êtes sous Windows ou Mac OS, une bonne solution est d’utiliser MacCaml ou WinCaml qui intègrent un IDE. Pour Mac OS, CamlX fonctionne aussi très bien. Pour Linux, on peut installer JavaCaml.

Sous Windows, si vous avez aimé l’environnement du lycée, vous pouvez aller voir ici.

Sinon, vous pouvez toujours puiser à la source, ou mieux, en utilisant Opam. Comme IDE, on peut utiliser le module OcaIDE  pour Eclipse, installer Emacs avec le mode Tuareg (comme au lycée). Cette dernière solution fonctionne bien sous Mac OS et surtout sur Linux (voir ici pour Ubuntu).

Si vous n’y arrivez pas,en attendant, vous pouvez utiliser OCaml en ligne mais ce n’est pas aussi pratique.

Si vous n’avez pas peur de compiler vous-même votre propre OCaml, je vous conseille alors plutôt l’extension d’Arthur Charguéraud qui produit des messages d’erreurs bien plus clairs (c’est celle que nous avons au lycée). Il faut compiler les sources disponibles ici puis utiliser :

ocaml -easy-type-errors

Si vous rencontrez des difficultés pour installer OCaml sur vos machines, n’hésitez pas à nous demander de l’aide.