Consignes

Ce TP ne sera pas noté, par contre, vous devrez soumettre votre travail en utilisant l'interface TPLab.

Liens utiles

• la page du langage Caml
• La documentation de Caml, version 3.11 (utilisé en TP) : Documentation and user's manual
• le livre d'Emmanuel Chailloux, Pascal Manoury et Bruno Pagano Développement d'applications avec Ocaml
• brouillon du livre de Jason Hickey sur le langage Caml : Introduction to Objective Caml (anglais)

• page de rendu TPLab

1. Préliminaires

1.1. Linux

1.2. Caml avec l'interprète simple

Le plus simple pour expérimenter avec des tous petits programmes Caml est d'utiliser l'interprète Caml. Pour lancer cet interprète, vous avez plusieurs solutions.

1. La méthode simple : téléchargez le petit fichier interprete-caml que vous sauvegardez sur votre bureau, puis vous double-cliquez sur l'icône correspondante.

2. La méthode pour les experts : vous lancer l'application Terminal (menu Applications --> Accessoires --> Terminal), puis vous tapez la commande suivante à l'intérieur de ce terminal :

   $ ledit ocaml
   

   Vous pouvez aussi utiliser la commande

   $ ocaml
   

   mais vous n'aurez pas la possibilité de vous déplacer avec les flèches...}

Une fois dans l'interprète Caml, vous pouvez :

• taper des morceau de Caml (n'oubliez pas de taper ;; pour demander l'évaluation de ce que vous avez écrit),
• annuler ce que vous étiez en train d'écrire en appuyant simultanément sur Control et sur c,
• retrouver des lignes plus vieilles avec la flèche du haut,
• aller au début de la ligne en appuyant sur Control et a, ou aller à la fin de la ligne avec Control et e,
• quitter l'interprète avec la commande #quit (sans oublier le #) ou en appuyant sur Control et d.

        Objective Caml version 3.11.2
# let x=4 ;;

# let f y = y+x ;;

# f 2 ;;

# let x=5 ;;

# f 2 ;;

1.3. Caml et Emacs

L'interprète tout seul est un peu pauvre, et si l'on veut faire des programme un peu gros, il faut sauvegarder ce que l'on fait dans un fichier. Vous avez peut-être déjà utilisé l'éditeur de texte GEdit. Pour ce cours, nous utiliser l'éditeur de texte Emacs, qui a plusieurs avantages.

Comme l'utilisation de Emacs est un peu étrange au début, et pour éviter de faire un sujet de TP de 15 pages, je vous montrerais comment faire les choses suivantes pour commencer à programmer en Caml.

1. Étape préliminaire : créez un répertoire TP-info-421,

2. lancez Emacs (menu Applications --> Programmation --> Emacs) et créez un nouveau fichier (menu File --> Visit New File ; ou premier icône en haut à gauche) appelé tp1.ml dans le répertoire crée à l'étape précédente. Attention, il faut donner le nom de votre fichier sur la ligne en bas de la fenêtre :
   • commencer par taper le début du nom du répertoire que vous voulez utiliser, puis appuyer sur la touche ``Tabulation'' : le nom du répertoire se terminera tout seul,
   • tapez le nom du fichier (tp1.ml par exemple) et validez.
3. Ajoutez au moins les options suivantes (si elles sont présentes) :
   • menu Options --> Syntax Highlighting,
   • menu Options --> Paren Match Highlighting,
   • menu Options --> Active Region Highlighting,
   • et sauvegardez ces options (menu Options --> Save Options).

4. Tapez le code Caml suivant dans votre fichier : (remarquez que Emacs colorie les mots clés, et l'utilisation de la touche Tabulation n'a pas l'effet attendu)

   let max (a:int) (b:int) : int =
     if (a<b)
     then b
     else a
   

1. Faites un copier-coller dans l'interprète Caml (pour copier, il suffit de sélectionner, et pour coller, il suffit appuyer sur le bouton du milieu),

2. encore mieux, mais vous pouvez également utilisez Tuareg --> Interactive Mode --> Evaluate Buffer pour donner tout ce que vous avez écrit à un interprète Caml qui se retrouvera dans une sous-fenêtre de Emacs.

3. passez un moment à essayer différentes chose avec Emacs et Caml.

Ça parait un peu complexe au début, mais vous verrez que c'est finalement bien pratique.

1.4. Fonctions récursives

2. Courbe du dragon

La courbe du dragon est obtenue en suivant le processus suivant :

• le dragon d'ordre 0 sur le segment AB est simplement AB
• le dragon d'ordre n+1 sur le segment AB s'obtient en :
  • plaçant un coin C à gauche de AB, de manière à ce que l'angle ACB soit un angle droit.
  • en faisant un dragon d'ordre n-1 sur les segments AC puis sur BC (attention à l'ordre des points).

Voici les trois premières étapes :

Pour pouvoir dessiner, vous aurez besoins de :

• commencer votre fichier par

  #load "graphics.cma";;
  open Graphics
  

• ouvrir une une fenêtre graphique avec

  let _ = open_graph " 800x600"
  

  (n'oubliez pas l'espace avant le 800). La fenêtre aura une taille de 800 par 600 pixels, et le coin en bas à gauche aura comme coordonnées (0,0).

  moveto xa ya ;
  lineto xb yb