slides-cours-caml

pourquoi ce cours?Master d’Informatique M1 – Universit´e Paris SudMise `a niveau programmation CamlInitiation `a la Caml utilis´eprogrammation fonctionnelle Cours de compilation : TD, examensProjet de compilation : ´ecriture d’un compilateur en Caml`A faire :Sylvain Conchon lire le poly de ce courslire le poly Formation au langage Caml et faire les exercices13 Septembre 2007() 13 Septembre 2007 1 / 105 () 13 Septembre 2007 2 / 105rappelPremiers pas en Camlil n’y a pas de bon langage, il n’y a que de bons programmeurs`a lire : La programmation en pratique de Brian W. Kernighan & RobertPike() 13 Septembre 2007 3 / 105 () 13 Septembre 2007 4 / 105le premier programme d´eclarationshello.mlprint string "hello world!\n" programme = suite de d´eclarations et d’expressions `a ´evaluerCompilation let x = 1 + 2;;% ocamlc -o hello hello.ml print int x;;let y = x * x;;print int y;;Ex´ecution% ./hellohello world!() 13 Septembre 2007 5 / 105 () 13 Septembre 2007 6 / 105notion de variable r´ef´erenceslet x = e introduit une variable globale Une variable modifiable s’appelle une r´ef´erenceElle est introduite avec refDiff´erences avec la notion usuelle de variable :let x = ref 1;;1 n´ecessairement initialis´ee print int !x;;2 x := !x + 1;;type pas d´eclar´e mais inf´er´eprint int !x;;3 contenu non modifiable() 13 Septembre 2007 7 / 105 () 13 Septembre 2007 8 / 105expressions et instructions type unitpas de distinction expression/instruction dans la ...