Utiliser O'Caml

Petite introduction ` OCaml a
Ludovic Sternberger http://dpt-info.u-strasbg.fr/˜sternberger 11 octobre 2007
La version du langage de programmation ML que nous allons utiliser ce semestre est Objective Caml, ´galement connu sous le nom de OCaml. Ce doe cument a pour but d’expliquer le fonctionnement d’OCaml ` partir d’un ina terpr´teur de commandes (Shell). e Pour ex´cuter du code ML il existe 2mani`res de proc´der. La premi`re e e e e est d’utiliser l’interpr´teur en ligne, et la seconde est d’utiliser un ou plusieurs e fichiers qui contiennent l’ensemble du code source d’un programme. Ces deux approches sont d´crites dans le pr´sent document. e e Pour plus de d´tails et de documentation sur OCaml, n’h´sitez pas ` consule e a ter les pages web suivantes : http ://caml.inria.fr http://www.ocaml.org

1
1.1

Installer OCaml sous Windows, Linux ou Mac OSX
T´l´charger la derni`re version d’OCaml ee e

OCaml a ´t´ con¸u ` l’Inria, et c’est sur son site que l’on t´l´chargera la ee c a ee derni`re version du compilateur. Vous pouvez r´cup´rer la distribution binaire e e e pour votre syst`me d’exploitation (Linux, Mac OSX ou Windows) ` l’adresse e a http://caml.inria.fr/download.fr.html. La denrni`re en date est la 3.10.0. e Sous Linux, installer OCaml en t´l´chargeant le binaire appropri´ sous votre ee e distribution. Par exemple, sous Debian, on tapera en mode root (administrateur) : apt-get install ocaml. Sortir du mode administrateur, et OCaml est directement utilisable sous un terminal, en lan¸ant la commande ocaml. c Sous Mac OS, il existe deux packages : un pourmachine ` processeur Intel a (ocaml-3.10.0-intel.dmg) et le second pour processeur PowerPC (ocaml-3.10.0-ppc.dmg). Il suffit de double-cliquer sur le package pour l’installer. Puis de d´marrer le e terminal Terminal (Applications - Utilitaires - Terminal). Et enfin de lancer l’interpr´teur ocaml. e

1

Sous Windows,installer d’abord l’environnement Cygwin (http ://www.cygwin.com), puist´l´charger le binaire OCaml pour Windows pour le port bas´ sur la suite ee e MinGW. Double-cliquer pour d´marrer l’installateur et installer OCaml. Pour e plus de pr´cision sur l’installation aller sur la page e http ://deptinfo.unice.fr/~roy/CAML/Win/install-win.html.

2
2.1

Lancer OCaml dans un Shell
Lancer l’interpr´teur OCaml e

La mani`re la plus simple d’utiliser OCaml est de lancer soninterpr´teur e e dans un terminal. Pour cela, il suffit d’ouvrir un terminal : – sous Linux – sous environnement KDE – lancer le terminal konsole : menu K - Syst`me - Konsole - terminal e – sous environnement Gnome – lancer le terminal gnome : menu Gnome/D´marrer - Outils du syst`me e e - Console. – sous Windows – lancer le terminal cmd : menu D´marrer - Ex´cuter. Taper cmd.exe puis e e valider enappuyant sur ENTREE. – sous Mac OSX – lancer le terminal Terminal : Applications - Utilitaires - Terminal. A l’int´rieur du terminal que vous venez d’ouvrir, ex´cutez ` pr´sent la come e a e mande ocaml puis valider ` l’aide de la touche . Cette commande ` a a pour effet de d´marrer l’interpr´teur OCaml et l’invite # est affich´e. Ce qui e e e donne pour l’utilisateur Dupont, sur la machine Turing :[dupont@turing Bureau]$ ocaml Objective Caml version 3.10.0 # Vous pouvez maintenant ´valuer une ou plusieurs expressions en les tae pant et en les faisant suivre par 2 point-virgule, puis en validant par la touche . Les 2 point-virgule indiquent ` l’interpr´teur que vous avez fini l’exa e pression. Cette fa¸on de proc´der permet d’´crire du code sur plusieurs lignes. c e e Par exemple : # let identite x= x ; ; val identite : ’a -> ’a = #

2.2

Charger des fichiers

Ecrire continuellement des expressions directement dans l’interpr´teur peut e vite devenir ennuyeux, surtout si l’on souhaite revenir en arri`re et corriger cere taines erreurs de syntaxes. Il est possible d’´crire le code source Caml dans un e

2

fichier texte qui porte l’extension .ml et de le charger ` l’aide de...