INFO401 : utilisation Caml

Quelques éléments de syntaxe pour Caml

Commentaires

En Caml, les commentaires sont entourés de "(*" et "*)" :

(* Ceci est un commentaire (* et ceci est un commentaire dans un commentaire *) et ici, c'est toujours des commentaires *)

Définitions

• définition

let pi = 3.1415926536

• définition avec type explicite

let x:float = pi /. 2.0

• définition d'une fonction

let valeurAbsolue = fun n -> if (n>0) then n
                                      else (-n)

• définition d'une fonction deuxième méthode

let valeurAbsolue n = if (n>0) then n
                               else (-n)

• définition d'une fonction, avec types explicites

let valeurAbsolue : int->int = fun n -> if (n>0) then n
                                                 else (-n)

ou

let valeurAbsolue (n:int) : int = if (n>0) then n
                                           else (-n)

• définition locale à une expression

let x:float = let pi = 3.14 in
                pi /. 2.0

Si une variable est définie plusieurs fois, c'est toujours la dernière définition qui est utilisée.

Utilisation du toplevel

Pour utiliser l'interprète OCaml, il faut lancer la commande "ocaml" dans un terminal. (Si vous voulez avoir un historique de vos commandes, il est conseillé de lancer la commande "ledit ocaml".)

Vous vous retrouverez alors face à quelque chose comme :

$ ocaml
       Objective Caml version 3.10.0

#

et vous pouvez commencer à écrire des morceaux de Caml.

Pour demander à l'interprète Caml d'évaluer ce que vous avez écrit, il faut terminer votre expression (qui peut être sur plusieurs lignes) par deux points virgules et appuyer sur entrée :

$ ocaml
       Objective Caml version 3.10.0

# let pi = 3.14 ;;
val pi : float = 3.14
# let valeurAbsolue n = if (n>0) then n
                        else -n   ;;
val valeurAbsolue : int -> int = <fun>
#  let un_nombre = 42 in valeurAbsolue un_nombre ;;
- : int = 42
# #quit ;;

Pour quitter l'interprète, vous pouvez :

• utiliser la commande "#quit;;"
• appuyer sur les touches "Control" et "d" en même temps.