Cours Programmation Fonctionnelle, année 2016

Infos

• Soutenances du projet
  • Luminy : le mardi 6/12 à 8h00.
  • Saint-Jérôme : le mercredi 7/12 à 14h00.
• Début des cours :
  • Luminy : le mardi 13/09 à 10h00.
  • Saint-Jérôme : le mercredi 14/09 à 10h30.

Documents du cours

Cours

• Transparents 1er cours :
  • introduction, ch01 ;
  • ghc et la plateforme Haskell, premiers pas, conventions lexicales, ch02 ;
  • types élémentaires et dérivés, polymorphisme et classes, ch03.
• Transparents 2ème cours :
  • surcharge et classes, ch03 ;
  • conditionnels, conditions de garde, filtrage, expression lambda, sections, ch04 ;
  • compréhension sur les listes, ch05.
• Transparents 3ème cours :
  • récursion, ch06 ;
  • fonctions d'ordre supérieur, ch07 ;
  • programmes interactifs ch09.
• Transparents 4ème cours :
  • définition de types et de classes, ch10 ;
  • monades, ch09.
• Transparents 5ème cours :
  • le lambda-calcul non typé, stratégies d'évaluation, ch14 ;
  • l'évaluation paresseuse dans Haskell, ch12.

TDs et TPs

• Fiche de TD no. 1.
• Fiche de TP no. 1.
• Fiche de TD no. 2.
• Fiche de TP no. 2.
• Fiche de TD no. 3.
• Fiche de TP no. 3.
• Fiche de TD no. 4.
• Fiche de TP no. 4.
• Fiche de TD no. 5.
• TP5 : le but du TP est d'analyser, avec les encadrants de TP, votre avancement (et vos difficultés éventuelles) avec le projet.

Code

Le projet

• Le projet se fait impérativement en binôme.
• Rendu du projet. La date envisagée pour rendre le projet est le mercredi 30 novembre, 23h59 dernier délai. Envoyez votre projet par courriel (vos sources seront annexes en forme d’un archive zip ou tgz) à votre encadrant de TP. Si retard, des points de pénalité seront appliqués à la notation.
• Dates des soutenances : le 6/12 (Luminy) et le 7/12 (St-Jerome). L'absence à la soutenance entraînera la note 0 au projet.
• Attention : il n'existe pas une note de projet de 2ème session, donc la note du projet n'est pas rattrapable.
• Pour intégrer votre code avec d'autres bibliothèques Haskell, vous devez utiliser l'outil cabal. Si cet outil n'est pas installé dans votre machine, vous pouvez le télé-charger depuis cette page.

Références

• Le livre Programming in Haskell par G. Hutton, sur lequel le cours est basé.
• La home-page de Haskell.
• Les bibliothèques de Haskell.

Autres lectures conseillées

• Real World Haskell, par Bryan O'Sullivan, Don Stewart et John Goerzen.
• Haskell: the Craft of Functional Programming, par Simon Thompson.
• Introduction to Functional Programming Systems Using Haskell , par Antony J. T. Davie.

Ressources en français

• Apprendre Haskell vous fera le plus grand bien, traduction de ce livre.

Se preparer à l'examen

Calcul de la note finale

• Première session :
  NF = 0.3*PROJET + 0.7*EXAMEN
• Session rattrapage :
  NF = max(EXAMEN,0.3*PROJET + 0.7*EXAMEN)
  où EXAMEN est la note de l'examen de II session.