Chapitre 1

Trucs sympa :

• Mirage
• Erlang

Example de type avec implantation d’une liste

type 'a mylist =
  | Vide
  | Cons of 'a * 'a mylist

Cons (2, Cons (3, Vide))

Exemple de gardien

let parity = function
  | 0 -> "pair"
  | 1 -> "impair"
  | 2 -> "pair"
  | 3 -> "impair"
  | _ as n when (n mod 2 = 0) -> "pair" (* Guard *)
  | _ -> "impair"