OCaml

comprendre : À partir du code Pascal, nous devons générer l'arbre de syntaxe abstraite correspondant. pour ce faire, nous devons créer des types Ocaml, couvrant toute la grammaire du langage Pseudo-Pascal, pour que notre programme puisse le reconnaitre. 3.1 Définitions des types Dans un fichier type.mli, nous avons défini les différents types Ocaml qui pourraient ensuite nous servir pour la construction de l’arbre de syntaxe abstraite. Chaque type a une signification sémantique, nous avons

Checklist – inscrivez-vous tout de suite sur la mailing list : https://sympa.mancoosi.univ-paris-diderot.fr/wws/info/m1-compilation – marquez la page web du cours dans vos signets : http://www.pps.jussieu.fr/~balat/compilation – commencez à réviser OCaml – Formez vite vos groupes pour le projet (maximum 3 personnes) 3 1.2 Généralités 1.2.1 Introduction : dictionnaire Généralités : le terme « compilateur » compilateur (Le Petit Robert) « Personne qui réunit des documents dispersés » compilation

4 d. Patterns 4 e. Options  6 f. Output  6 g. Démarrage 7 III Ocamlyacc 8 a. Introduction 8 b. Compilation du fichier 8 c. Forme générale 9 d. Déclaration des lexèmes 9 e. Les règles de grammaire 9 IV Installation Ocaml et cypwing 10 a. Ocaml  10 b. Interface ocaml  10 c. Cypwin  11 d. Interface cypwin  11 V Compilation 12 a. Les fichiers nécessaires pour la compilation: 12 i. Lexer.mll 12 ii. Parser.mly 13 iii. Calcultarice.ml 13 b. Les commandes de compilation : 14 VI Conclusion

= expression a evaluer)  les appels de fonctions et la recursivite  l'objet, unite de base du programme, encapsule un ensemble de donnees et d'actions applicables a celles-ci. Programmation orientee objet  soit fonctionnelle (CLOS, OCAML) ou iterative (C++, Java) Java est un langage oriente objet imperatif Quelques caracteristiques de Java Une syntaxe inspiree de C mais  pas de manipulation explicite de pointeurs  les structures sont enrichies et deviennent des objets.

En fait, la programmation fonctionnelle est une autre manière de voir un programme et cela n'empêche pas par exemple d'avoir un langage fonctionnel et objet (scala par exemple) ou même un langage fonctionnel qui allie impératif/objet/fonctionnel (Ocaml). En connaître un permet d'avoir de bonnes bases et permettra également aux personnes plus orientées vers les mathématiques de passer doucement vers l'informatique. Ils sont souvent utilisés en analyse numérique ou en intelligence artificielle (mais

DÉFINITION INFORMATIQUE D'UN TYPE type natPeano = O | S of natPeano Remarques  Le type natPeano est prédéni dans le module Inf121.  O n'est pas l'entier 0, puisque c'est un constructeur, mais la constante symbolique  o majuscule . user> ocaml Objective Caml version 3.11.1 # 0 ;; - : int = O # O ;; Error: Unbound constructor O # open Inf121 ;; # O ;; - : natPeano = O # S O ;; - : natPeano = S O # O + O ;; ^ Error: This expression has type natPeano but an expression was expected of type int

La plateforme .NET Présenté par : Khalid Khamlich k.khamlich@gmail.com EHTP 2007/2008 Historique 1981 : MS-DOS et BASIC 1990 : WINDOWS et Visual BASIC 1995 : IE, IIS et Visual Studio 1997 : projet top secret présidé par Bill Gate Juillet 2000 : Début de l’ére .NET 2 Historique Janvier 2002 : Framework 1.0 et VS 2002 Avril 2003: Framework 1.1 et VS 2003 Novembre 2005: Framework 2.0, VS 2005 et sql server 2005 En 2006: Framework 3.0 En 2007: Framework 3.5 En 2008 : VS 2008 3 Qu’est ce que .NET

= {:;...;:;} Exemple:! type contact_simple={nom:string; prenom:string; tel:int;} Un enregistrement est une collection de champs: tuple avec des noms pour les positions! Un champ doit être unique à un enregistrement (contrainte d'Ocaml)! Types Ocaml:! int: entier! • float: réel! • string: chaine de caractères! • a*b: couple type du premier élément est a et l'autre b! • 'a: type polymorphe! • a list: liste de type a! • nom du type: type défini explicitement ! ex: ! intlist*int*float: triplet

TP19 : Cours/TP : Compression et décompression de Huffman en OCamlTP19 : Cours/TP : Compression et décompression de Huffman en OCaml 30 mars 2022 On travaillera depuis la machine virtuelle ClefAgreg2019. On commencera par créer un fichier OCaml TP19.ml, initialement vide. On rappelle qu’on compile ce fichier avec COMPILATEUR = ocamlc ou ocamlopt avec la ligne de commande suivante, puis on exécute le binaire produit avec la deuxième ligne (sans les dollars qui représentent le prompt de la ligne de

agr´able et stimulant de travailler avec cette ´quipe. Merci a Renaud Rioboo qui m’a form´ a la e e ` e` d´marche scientifique pendant les stages pr´c´dant ma th`se ; a Damien Doligez et Pierre Weis e e e e ` qui ont toujours r´pondu a mes questions sur OCaml lors de leurs visites hebdomadaires ; a e ` ` David Massot, Thierry Lanfroy et Catherine Abiven pour leur aide dans toutes les tˆches admia nistratives ; a Pascal Cuoq et Gr´goire Hamon qui m’ont fait d´couvrir les langages synchrones ` e e et m’ont