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.