English version
Accueil     À propos     Téléchargement     Ressources     Contactez-nous    

Ce site est rarement mis à jour. Pour les informations les plus récentes, rendez-vous sur le nouveau site OCaml à l'adresse ocaml.org.

Une centaine de lignes de Caml

Fonctions élémentaires

Avec le système interactif, définissons la fonction square (carré) et la fonction factorielle dans sa version récursive. Puis, appliquons ces fonctions à quelques valeurs choisies :

        Objective Caml version 3.07+2

let square x = x * x;;
val square : int -> int = <fun>
let rec fact x =
  if x <= 1 then 1 else x * fact (x - 1);;
val fact : int -> int = <fun>
fact 5;;
- : int = 120
square 120;;
- : int = 14400

Gestion automatique de la mémoire

Toutes les opérations d'allocation et de libération de la mémoire sont complètement automatiques. Par exemple, considérons les listes simplement chaînées.

Les listes sont prédéfinies en Caml. La liste vide est notée []. Le constructeur d'ajout d'un élément à une liste est noté :: (sous forme infixe).

let l = 1 :: 2 :: 3 :: [];;
val l : int list = [1; 2; 3]
[1; 2; 3];;
- : int list = [1; 2; 3]
5 :: l;;
- : int list = [5; 1; 2; 3]

Polymorphisme : le tri des listes

Le tri par insertion est défini à l'aide de deux fonctions récursives.

let rec sort = function
  | [] -> []
  | x :: l -> insert x (sort l)

and insert elem = function
  | [] -> [elem]
  | x :: l -> 
      if elem < x then elem :: x :: l else x :: insert elem l;;
val sort : 'a list -> 'a list = <fun>
val insert : 'a -> 'a list -> 'a list = <fun>

On notera que le type des éléments de la liste reste non spécifié: il est représenté par une variable de types 'a. La fonction sort peut donc être appliquée aussi bien à une liste d'entiers qu'à une liste de chaînes de caractères.

sort [2; 1; 0];;
- : int list = [0; 1; 2]
sort ["yes"; "ok"; "sure"; "ya"; "yep"];;
- : string list = ["ok"; "sure"; "ya"; "yep"; "yes"]

Programmation impérative

Représentons les polynômes des tableaux de coefficients entiers. Alors, pour ajouter deux polynômes, on alloue d'abord le tableau résultat, puis on le remplit à l'aide de deux boucles for successives.

let add_polynom p1 p2 =
  let n1 = Array.length p1
  and n2 = Array.length p2 in
  let result = Array.create (max n1 n2) 0 in
  for i = 0 to n1 - 1 do result.(i) <- p1.(i) done;
  for i = 0 to n2 - 1 do result.(i) <- result.(i) + p2.(i) done;
  result;;
val add_polynom : int array -> int array -> int array
add_polynom [| 1; 2 |] [| 1; 2; 3 |];;
- : int array = [|2; 4; 3|]

Caml offre des cellules mémoire modifiables appelées références : ref init renvoie une nouvelle cellule, dont le contenu initial est init, !cell renvoie le contenu actuel de cell, et cell := x met dans cell la valeur x.

On peut redéfinir fact à l'aide d'une référence et d'une boucle for :

let fact n =
  let result = ref 1 in
  for i = 2 to n do
    result := i * !result
   done;
   !result;;
val fact : int -> int = <fun>
fact 5;;
- : int = 120

Fonctions d'ordre supérieur

Il n'y a pas de restriction sur les fonctions, qui peuvent donc être passés en argument à d'autres fonctions. Définissons une fonction sigma qui renvoie la somme des résultats de l'application d'une fonction f donnée aux éléments d'une liste :

let rec sigma f = function
    | [] -> 0
    | x :: l -> f x + sigma f l;;
val sigma : ('a -> int) -> 'a list -> int = <fun>

On peut définir des fonctions anonymes à l'aide de la construction function :

sigma (function x -> x * x) [1; 2; 3];;
- : int = 14

Polymorphisme et fonctions d'ordre supérieur permettent de définir la composition de fonctions sous sa forme la plus générale :

let compose f g = function x -> f (g x);;
val compose : ('a -> 'b) -> ('c -> 'a) -> 'c -> 'b = <fun>
let square_o_fact = compose square fact;;
val square_o_fact : int -> int = <fun>
square_o_fact 5;;
- : int = 14400

La puissance des fonctions

La puissance des fonctions ne peut pas être mieux illustrée que par la fonction « puissance » :

let rec power f n = 
    if n = 0 then function x -> x 
    else compose f (power f (n - 1));;
val power : ('a -> 'a) -> int -> 'a -> 'a = <fun>

La dérivée nième d'une fonction peut alors se définir comme en mathématiques en élevant la fonction dérivée à la puissance n :

let derivative dx f = function x -> (f (x +. dx) -. f x) /. dx;;
val derivative : float -> (float -> float) -> float -> float
let sin''' = power (derivative 1e-5) 3 sin;;
val sin''' : float -> float = <fun>
let pi = 4.0 *. atan 1.0 in sin''' pi;;
- : float = 0.999998972517346263

Calcul symbolique

Considérons des expressions symboliques simples comprenant des entiers, des variables, un opérateur de liaison let, et des opérateurs binaires. Ces expressions peuvent être définies à l'aide d'un nouveau type de données, de la façon suivante :

type expression =
  | Num of int
  | Var of string
  | Let of string * expression * expression
  | Binop of string * expression * expression;;

L'évaluation de ces expressions utilise un environnement qui à un identificateur associe une valeur, représenté par une liste de paires.

let rec eval env = function
  | Num i -> i
  | Var x -> List.assoc x env
  | Let (x, e1, in_e2) ->
     let val_x = eval env e1 in
     eval ((x, val_x) :: env) in_e2
  | Binop (op, e1, e2) ->
     let v1 = eval env e1 in
     let v2 = eval env e2 in
     eval_op op v1 v2

and eval_op op v1 v2 =
  match op with
  | "+" -> v1 + v2
  | "-" -> v1 - v2
  | "*" -> v1 * v2
  | "/" -> v1 / v2
  | _ -> failwith ("Unknown operator: " ^ op);;
val eval : (string * int) list -> expression -> int = <fun>
val eval_op : string -> int -> int -> int = <fun>

Évaluons par exemple la phrase let x = 1 in x + x :

eval [] (Let ("x", Num 1, Binop ("+", Var "x", Var "x")));;
- : int = 2

L'emploi du filtrage facilite la définition des fonctions opérant sur des données symboliques, en donnant aux définitions de fonctions une forme similaire à celle des déclarations de types. Notez, en effet, la similitude entre la définition de la fonction eval et la définition du type expression.

Trace des fonctions

Pour terminer, voici le moyen le plus élémentaire pour espionner les fonctions :

let rec fib x = if x <= 1 then 1 else fib (x - 1) + fib (x - 2);;
val fib : int -> int = <fun>
#trace fib;;
fib is now traced.
fib 3;;
fib <-- 3
fib <-- 1
fib --> 1
fib <-- 2
fib <-- 0
fib --> 1
fib <-- 1
fib --> 1
fib --> 2
fib --> 3
- : int = 3