À lire

Cours

• Fiche de Révisions: Réductions et Équivalences
• Fiche de Révisions: Types Fonctionnels et Algébriques
• Fiche de Révisions: Type-Classes et Égalités de Programmes
• Fiche de Révisions: Foncteurs, Monades et Companie

Enoncés de TD et corrections

• TD1: 21 janvier 2019
• Correction du TD1
• TD2: 14 février 2019
• Correction du TD2
• TD3: 18 mars 2019
• TD4: 8 avril 2019

Enoncés de TPs courts et corrections

• Notice d'instalation
• TP1: 21 janvier 2019
• Correction du TP1 (Exercice 3)
• TP3: 11 février 2019
• Correction du TP3
• TP5: 18 mars 2019
• TP7: 8 avril 2019 (TP très long continué le 15)
• Correction du TP7

Enoncés de TPs longs et corrections

• TP2: 04 février 2019
• Correction du TP2 Exercices 1 à 4 Pour une correction plus complète, voire la version avec Q2.3 et la version avec Q3.4.
• TP4: 18 fevrier 2019
• Correction du TP4
• TP6: 25 mars 2019
• Correction du TP6 : Questions 1 à 3, Questions 4 à 8 Questions 9 et plus
• TP7: 15 avril 2019
• Correction du TP7

Projet et Serveur de Dépot/Récupération

• Inscription : Inscrivez-vous au plus vite sur le serveur en utilisant votre compte ENT .
• Informations générales sur le projets : Réponses aux questions posées sur le projet (dans sa globalité).
• Première phase: à rendre pour le 10 février 2018 à minuit sur le serveur. Vous allez devoir, pour ca, compléter le caneva fournit. Vous pouvez utiliser les slides passés en cours.
• Tests automatiques de la phase 1: à utiliser avec un nom de fichier sur lequel écrire le résultat.
• Seconde phase: à rendre pour le 3 mars 2019 (minuit) sur le serveur. Vous trouverez le caneva associé ici.
• Tests automatiques de la phase 2: à utiliser avec un nom de fichier sur lequel écrire le résultat.
• Troisième phase: à rendre pour le 27 mars 2019 (minuit) sur le serveur. Vous trouverez le caneva associé ici. Attention à bien rendre Dictionnaire.hs et Ensemble.hs avec.
• Tests automatiques de la phase 3
• Correction de la phase 3
• Quatrième phase: à rendre pour le 25 avril 2019 (minuit) sur le serveur. Vous trouverez le caneva associé ici. Attention à bien rendre Dictionnaire.hs et Ensemble.hs avec.
• Tests automatiques de la phase 4
• Cinquième phase: à rendre pour le 17 mai 2019 (minuit) sur le serveur. Vous trouverez le caneva associé ici. Attention à bien rendre Dictionnaire.hs et Ensemble.hs avec.
• Sixième phase: à rendre pour le 02 juin 2019 (minuit) sur le serveur. Vous trouverez le caneva associé ici. Attention à bien rendre Automate.hs, Dictionnaire.hs et Ensemble.hs avec.
• Corrections des projets : Première phase, Deuxième phase, Troisième phase, Quatrième phase, Cinquième phase

Examens passés et leur corrections

• QCM1 2018 Il y avait 15 questions au hasard
• QCM2 2018 Il y avait 15 questions au hasard
• Examen 2017
• Sa correction et le corrigé de l'exercice 3
• Examen 2018
• Sa correction

Liste de références

• "What I Wish I Knew When Learning Haskell" de Stephen Diehl: le meileur polycopié der Haskell disponible sur internet à ma connaissance.
• Real World Haskell: Livre (en anglais) accessible librement.
  Le cours porte sur les sections 1 à 7 (syntaxe et prog. fonctionnelle) ainsi que les sections 13 à 15 et la section 19; les sections 18 et 24 seront potentiellement effleurées.
• traduction de "Learn You a Haskell For Great Good!" : Traduction en français d'un livre traitant une grande partie des sujets du cours.
• programming in haskell : Livre (en anglais) potentiellement trouvable dans certaines bibliothèques.
• functors applicatives et monads en images : page en français vulgarisant les principes de foncteurs et de monades.
• Introduction to Haskell : (slides d')un mooc sur haskell.
  Les cours 1 à 6 correspondent a une version détallés des rappels du cours et les cours 8 et 9 à l'introduction des monades.
• OpenClassrooms : Cours de programmation fonctionelle du site du zéro (en Haskell).

  Le cours ira un peu plus loin que celui de OpenClassrooms; en particulier, la première partie sera vue rapidement tandit que l'on détaillera la seconde.