Programmation Fonctionnelle

Responsable du cours : Christian Codognet

Interprétation

On écrit le programme dans un fichier .ml et on le charge avec l’interpréteur OCaml (dans lequel on peut écrire et tester les fonctions librement).

ocaml
#use "fichier.ml";;

Pour quitter :

exit 0;;

Compilation

On écrit le programme dans un fichier .ml, on le compile pour obtenir un exécutable.

ocamlc fichier.ml -o fichier
./fichier

Le programme doit contenir des instructions destinées à l’interpréteur. Par exemple :

1
2
3
let rec fact (n : int) : int = if n = 1 then 1 else n * fact (n-1)
let main () = print_int (fact 5);;
main ()

Remarque : on a besoin de “;;” avant main () pour éviter l’ambiguïté : main () serait compris comme faisant partie de la définition précédente. Dans le cas habituel, les let séparent les définitions.