"Qui a enfourché un tigre ne peut plus en descendre."
proverbe zen
accueil grader's log links (en) LaTeX conseils

.:| Caml > mode d'emploi |:.

version sept. 18 (sept. 19 : toujours valable)

Je vous donne ici des liens et conseils pour vous aider à l'installation de Caml et emacs chez vous sous windows (testé sous Windows 10) et Linux (testé sous Ubuntu).

Ensuite, les explications pour l'utiliser sous emacs (valable sur les machines de l'école).

Versions de Caml : Selon l'installation, vous pouvez avoir une version différente de Caml (par exemple 4.02 selon l'installation sous windows proposée ici, 4.07 sur les machines de l'école). Cela ne changera pas grand chose (juste quelques "warning" qui seront différents...)

Essayer Caml online: Si vous n'arrivez pas à installer Caml, ou à l'utiliser sous emacs, essayez cet interpréteur (warning: ne faites pas les "lessons" au risque de vous embrouiller...)

.: Installation d'Ocaml :.

Windows

  • Aller sur cette page. Ne pas prendre l'avertissement "This installer is out of date" en compte !

  • Télécharger la version "Installer for 64-bit OCaml 4.02.3 + OPAM" (ou la version 32-bit si votre ordi date du Jurassic...).

  • Lancer l'installation : ne pas installer Cygwin

Linux

Suivre les instructions de cette page

Vérifier que OCaml est bien installé

Vous pouvez vérifier que Caml est bien installé en ouvrant une console (sous windows : cmd dans le champ de recherche) :

  • ocaml : lance caml !
  • #quit ;; (avec le #) permet de quitter !

  • Utiliser Ocaml autrement qu'en ligne de commande : Emacs

    Installer Emacs + le tuareg mode

    1. Installer Emacs :

      Windows

      • 64 bits : Télécharger ce fichier emacs-25.2-x86_64.zip.
        (32 bits : Télécharger ce fichier emacs-25.3-i686.zip.)
        Ou voir sur le site d'Emacs une version plus récente)
      • "Dézipper" dans un répertoire GNU Emacs, placer le répertoire où vous voulez ! - laisser le répertoire emacs ouvert pour la suite
      • L'exécutable est GNU Emacs\bin\runemacs.exe (créer un raccourci sur le bureau...)

      Linux

      Installer Emacs s'il n'est pas déjà présent !

    2. Installer le tuareg mode :

      • Télécharger tuareg-2.0.4.zip (pas la dernière version, elle ne fonctionne pas bien), le "dézipper".
      • Copier les deux fichiers tuareg.el et camldebug.el dans le répertoire
        - Windows : GNU Emacs\share\emacs\site-lisp
        - Linux (Ubuntu) : /usr/share/emacs/site-lisp
        Les autres fichiers du .zip ne sont pas utiles ici (sauf si vous voulez modifier le mode Tuareg...) !
      • Trouver le répertoire "Home" : Pour cela, lancer Emacs, cliquer sur le lien "Open Home Directory", le chemin est affiché en haut du résultat !

        (Par exemple, pour moi, sous Windows, c'est :
        - c:/Utilisateurs/Nathalie
        - ou c:/Users/Nathalie/AppData/Roaming
      • Ouvrir le répertoire .emacs.d (s'il n'existe pas, fermer et ouvrir à nouveau emacs !).
      • Copier le fichier suivant init.el dans le répertoire .emacs.d (ou voir ci-dessous)

        Cliquer sur "Open Home Directory" ouvre le répertoire dans la fenêtre (buffer) du haut - cliquer sur ".emacs.d" pour ouvrir le répertoire (le buffer du bas) : il est possible d'y "glisser" le fichier init.el directement !

      • Quitter emacs


    Pour vérifier que le tuareg-mode est bien installé : ouvrir sous emacs un nouveau fichier avec l'extension ml : un nouveau menu "Tuareg" doit apparaître en haut à droite (voir la partie utilisation).

    .: Utilisation :.

    • Sous emacs, commencez par ouvrir un fichier avec l'extension "ml" (dans l'exemple un nouveau fichier "test.ml").

      Attention : les raccourcis sous emacs n'ont rien à voir avec ceux que vous connaissez (voir les raccourcis sous emacs).

    • Un nouveau menu "Tuareg" apparaît à droite. Sélectionnez "Interactive Mode > Run Caml Toplevel".

      Cela ne peut pas fonctionner avec un fichier dont l'extension n'est pas 'ml'. Attention donc, en particulier aux fichiers .ml.txt (lorsque l'extension n'est pas visible...).

      Ou alors ctrl-c ctrl-s (voir les raccourcis, ci-dessous).

    • Validez la commande pour lancer le "top-level" Caml (la ligne du bas vous montre la commande en cours).

      ligne de commandes : valider la commande

      La fenêtre se sépare en deux "buffers" :

      les deux buffers

      • En haut, votre fichier (test.ml) : vous pouvez saisir ici vos phrases Caml et les envoyer vers le top-level pour les évaluer. Ainsi, il est possible de modifier, d'enregistrer votre travail sans les réponses de Caml... Ici, depuis le buffer test.ml on a envoyé à l'évaluation (par un ctrl-c ctrl-e, voir ci-dessous) la définition let x = 1 ;;
      • En bas, le top-level caml, là où vous pouvez voir les résultats. On peut également directement y faire des évaluations (qui ne seront pas dans le fichier .ml). Ici on a directement évalué dans ce buffer : x ;;

      exemple d'évaluation

    Quelques commandes utiles :

    C = ctrl
    M = meta (alt)
    S = shift

    Les commandes sont différentes de celles que vous connaissez. La ligne du bas vous montre la commande en cours. Si vous êtes bloqués (une commande étrange sur la ligne de commandes) : C-g C-g (jusqu'à ce que la commande s'annule : Quit s'affiche sur la ligne de commandes).

    Caml :

    • C-c C-s : lancer un toplevel
    • C-c C-e ou C-M-x : envoie à l'évaluation la phrase courante
    • C-c C-r : envoie à l'évaluation la sélection courante

    Edition :

    • C-space : débuter une sélection
    • M-w ou C-inser : copier
    • C-y ou S-inser : coller puis M-y pour faire son choix
    • C-w : couper
    • C-d : supprimer le caractère sous le curseur
    • C-k : supprimer le reste de la ligne

    Buffers (Fenêtres) :

    • C-x o : changer de buffer
    • C-x 2 : couper le buffer horizontalement
    • C-x 3 : couper le buffer verticalement
    • C-x 1 : revenir à un seul buffer

    Divers :

    • C-g C-g : annule les commandes en cours !
    • C-h b : décrit tous les raccourcis clavier.
    • C-h t : le tutoriel emacs

    version 3.1b
    sept. 2014