Histoire du langage

• Descendant de LISP
• Maintenu par Consortium Ocaml

Description du langage

• Langage fonctionnel
• Typage statique
• Polymorphisme paramétrique
• Inférence de types
• Nombreuses librairies
• Possibilité de bind du C
• Garbage collector

Le projet myList

Premier projet du module, mylist consiste à réécrire une vingtaine de fonctions de manipulation de listes

Exemple

let hd my_list =
  match my_list with
  | Item (hd, tl) -> hd
  | Empty -> raise (Failure "hd")
;;

Fonctions