Cette page est la page officielle du cours du 1er semestre 2011/2012 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

• soutenances des devoirs : planning (version du samedi 5/11 11h) - salle Mac batiment 31 2eme étage
• 1er cours : lundi 20/09/2011 à 8h30 (46-00 103)

Notes de cours, TD et TME

• 6ème : interopérabilité et fusion des modèles
  • interopérabilité Java-O'Caml (page O'Jacaré); exposé Jacare.net (O'Jacaré)
  • O'Caml sur .NET : ocamil (PDF) et F# : lien et tutoriel
  • présentation de Scala (Page Martin Odersky)
    • faire passer le typeur de lambda-termes et le typeur du mini-caml sous F# ou Scala, 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 Java 1.5 (PDF)
    • 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 ZA M (projet POtdevin-Baugon) (rapport et javaz.tgz)
    • surcharge en Haskell (ghc)

• 3ème cours : typage d'un mini-ML avec traits impératifs (PDF) et typage objet en OCaml (cours 8 et 9 de mpil 10 (chapitr e 15 de DA-OC )).
  • 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#. (cours MPIL de L3 , environnements : O'Caml (Tuareg, Ocaide), F# (Visual studio sous Windows ou mono) )
  • Ajout des traits impératifs à un typeur (cf lien).
• 1er cours : lambda-calcul pur (PDF)
  
  • Applet Java: visualisation graphique de la réduction
  • Serveur Php : visualisation graphique de la réduction
  • A puzzle game : Alligator Eggs

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 . Pour envoyer un courrier à l'équipe pédagogique, cliquez ici.

Examens et notation

L'svaluation 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 06/10/2011 répartition au 12/10/11, modification du 13/10/2011)
  • remise des projets avant le 03/11/11 inclus : cliquer sur le lien suivant Soumettre le projet   
  • remise des présentations : cliquer ICI
  
  

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 2011.

Autres liens

• la page de ICFP Contest

---

Remarques?    dernière modification : 05/11/2011