Enseignement

UPMC >

Cette page est la page officielle du cours du 1er semestre 2012/2013 intitulé « Typage et Polymorphisme » qui s'adresse aux étudiants de master de l'UPMC. La description de la brochure du module se trouve ici.

Nouvelles fraîches
Notes de cours, TD et TME
Environnement de travail
Equipe pédagogique
Examens et notation
Bibliographie
Autres liens

Nouvelles fraîches

examen lundi 12/11/2012 9h-11h30 amphi Durand (Esclangon)
soutenance des devoirs (article ou réalisation) : lundi 5/11/2012 selon l'ordre de passage suivant
1er cours : lundi 24/09/2012 à 8h30 (salle 13-14 109)

Notes de cours, TD et TME

6ème : GADT, interopérabilité et fusion des modèles
- GADT en OCaml (lien du manuel)
- interopérabilité Java-OCaml (page O'Jacaré); exposé Jacare.net (O'Jacaré)
- OCaml sur .NET : ocamil (PDF) et F# : lien et tutoriel
- présentation de Scala (Page Martin Odersky), tutoriel et présentation par l'exemple
- exercices :
  - programmes OCaml avec GADT (lien du manuel) à faire tourner.
  - faire passer le typeur de lambda-termes et le typeur du mini-caml sous Scala (ou F#), et ajouter un affichage.
5ème cours : polymorphisme parametrique
- classes parametrees en Java (PDF)
- langages (PDF)
  - passage du modèle Visiteur en generics (partiel nov2010 (LI314))
  - implantation des exemples du tutorial de Pizza (lien)
  - traduction de code objet OCaml vers Java avec les generiques : classes parametrees - methodes polymorphes - methodes binaires
4ème cours : typage objet et surcharge
- cast objet en O'Caml (PDF)
- typage en Java (PDF) avec des exercices à tester (HTML,PDF);
- surcharge en Haskell (présentation d'Emmanuel Beffara)
- exercices
  - test de l'algorithme de surcharge en Java 1.5 et en java 1.2 (installation de java 1.2)
  - simulation d'algorithme de surcharge de Dul et Maslia (rapport et jar)
  - simulation d'algorithme de surcharge en Java 1.5 avec production de code ZAM (projet Potdevin-Vaugon) (rapport et javaz.tgz)
  - surcharge en Haskell (ghc)
  - papier jfla2002 sur coca-ml (en PS).
  - détermination des projets de chaque groupe
3ème cours : typage d'un mini-ML avec traits impératifs et typage objet en Ocaml (PDF)
- Ajout des traits impératifs à un typeur (cf lien).
- adapter le texte du partiel de novembre 2010 de LI314 (cf lien) en OCaml
2eme cours : lambda-calcul simplement typé (PDF) et typage d'un mini-ML fonctionnel et impératif (PDF)
- Applet : vérification de type en lambda-calcul
- typeur en OCAML ou typeur en F# (nouvelle version du 02.10.12). (cours MPIL de L3 , environnements : O'Caml (Tuareg, Ocaide), F# (Visual studio sous Windows ou mono) )
- test d'un typeur (cf lien) d'un mini-ML ou implantation du typeur en Scala
- environnements en ligne :
  - try ocaml : suivre le lien
  - F# Interactive : suivre le lien
1er cours : lambda-calcul pur (PDF)

Environnement de travail

Objective Caml
- mode tuareg pour Emacs
- Ocaide plugin pour Eclipse
- Ocsigen (serveur) et O'Browser (client) pour le Web
- mlcov et zamcov, outils de ocuverture structurelle
F#
- F# in VS2010
- mono projet
Scala

Équipe pédagogique

L'équipe pédagogique est ainsi constituée: Emmanuel Chailloux, Bruno Lesueur, Gérard Nowak, Philippe Wang. Pour envoyer un courrier à l'équipe pédagogique, cliquez ici.

Examens et notation

L'évaluation de ce module comprend :

examen écrit : sujet 2007, sujet 2008, sujet 2009
une étude sur un article ou une mini-réalisation à choisir dans cette liste
(version du 08/10/2012) répartition au 15/10/12, modification du 17/10/2012)
- exemples de rapports 2011 : Bennater-Couillec, Deharbe-Salvucci
remise des rapports et réalisations avant le 02/11/12 à midi : cliquer sur le lien suivant Soumettre le devoir
remise des présentations avant le 04/11/12 à midi : cliquer sur le lien suivant Soumettre une présentation

Bibliographie

sur le lambda-calcul
- Hindley and Seldin. Introduction to Lambda-Calculus and combinators Cambridge University Press, 1986.
- Chantal Berline. une introduction au lambda-calcul, cours au dea de logique, 2001-2002 (cf lien).
Sur les systèmes de types
- Benjamin Pierce. Types and Programming Languages. The MIT Press.
sur le typage de ML
- R. Milner.A therory of type polymorphism in programming, Comput. Syst. Sci., 1978.
- F. Pottier, langages de programmation : sémantique et typage, cours au Master MPRI en 2005-2006 (cf lien).
- Jean-Jacques Lévy, langages de programmation (cf lien)
sur le typage Objet :
- M-V. Aponte, Introduction au typage des objets en Ocaml, 2005-2006, cours au cnam (en PDF)
- D. Remy, modules et objets, cours à l'X (cf lien)
sur les generics en Java :
- Maurice Naftalin et Philip Wadler.Java Generics and Collections., O'reilly, 2006
sur Objective Caml
- Xavier Leroy et al. The Objective Caml system : documentation and user's manual (cf lien)
- Emmanuel Chailloux, Pascal Manoury et Bruno Pagano. Développement d'Applications avec Objective Caml. O'Reilly, 2000 (cf lien)
- Guy Cousineau et Michel Mauny. Approche fonctionnelle de la programmation. Dunod, 1995 (cf lien1 et lien2).
- Pierre Weis et Xavier Leroy. Le langage Caml Dunod, 1999.
- Philippe Nardel. Programmation fonctionnelle, générique et objet : Une introduction avec le langage Ocaml. Vuibert 2005
- Pascal Manoury.Programmation de gauche à droite, et vice-versa, Paracamplus 2012.

Autres liens

la page de ICFP Contest

Remarques? dernière modification : 3/11/2012