Langage de Programmation 2 (LP2 ) - RICM3 Cours 4 Modules, foncteurs, Input Output

Langage de Programmation 2 (LP2)Langage de Programmation 2 (LP2)RICM3Cours 4Modules, foncteurs, Input OutputPascal LafourcadePolytech2009 - 20101 / 73Langage de Programmation 2 (LP2)La dernière fois◮ Type Produit◮ Évaluation et valeurs◮ Type Nommé◮ Compléments2 / 73Langage de Programmation 2 (LP2)PlanCompilationModulesGénéralitésCompilation séparéeExemple de moduleFoncteursInput OutPutConclusion3 / 73Langage de Programmation 2 (LP2)CompilationCompilation simpleOcamlproduit du bytecode :◮ indépendant de la machine◮ interprété par une machine virtuelleOcamlproduit du code natif (machine dépendant).5 / 73Langage de Programmation 2 (LP2)CompilationHello world*Les doubles point-virgules sont facultatifs dans un code source.file.ml -> file.cmi file.cmo outputlet x=42let main =print_string "Hello World! \n";print_int(x);print_newline()$ ocamlc file.ml -o output$ ./outputHello World!42$ 7 / 73a.outLangage de Programmation 2 (LP2)CompilationCompilation vers du bytecodeLe code source ne doit pas contenir de directives du toplevel.#!/usr/bin/ocamlrunCode source réparti dans plusieur fichiers (main.ml, types.ml,fifo.ml ...) appelés unité ou module.9 / 73Langage de Programmation 2 (LP2)ModulesGénéralitésPrincipes générauxObjectifs de la modularité◮ fourniture des fonctionnalités : indépendance entre fournisseuret utilisateur◮ rôle pivot de l’interface = joue le rôle de contrat◮ l’utilisateur n’a pas à connaître les ...