Algorithmique et Programmation Fonctionnelle
Algorithmique et Programmation Fonctionnelle
RICM3
Cours 8 : Typage, Polymorphisme, Ordre supérieur
Benjamin Wack
Polytech
2013 - 2014
1 / 67
Algorithmique et Programmation Fonctionnelle
La dernière fois
IFoncteurs
IModules
ICompilation
IMakefile
2 / 67
Algorithmique et Programmation Fonctionnelle
Plan
Généralités sur le “Typage”
Typage du let et let rec
Bilan
Polymorphisme
Vérification de types polymorphes
Inférence de type polymorphe
Fonctions d’ordre supérieur
Conclusion
3 / 67
Algorithmique et Programmation Fonctionnelle
Devoir Maison
IEnvoyé par mail
IÀ rendre pour mercredi (plusieurs l’ont déjà fait)
IObjectif : comprendre la différence entre deux hiérarchies de
types
4 / 67
Algorithmique et Programmation Fonctionnelle
Projet
IDémo
IContenu : fonctions récursives, modules et foncteurs,
compilation, graphisme, flots et analyse...
IFichiers fournis sur le site
ITravail en binômes “officiels”
ILes deux derniers TPs sont consacrés essentiellement au suivi
de projet
IDate limite non négociable : vendredi 20 décembre
5 / 67
1 / 59 100%
La catégorie de ce document est-elle correcte?
Merci pour votre participation!

Faire une suggestion

Avez-vous trouvé des erreurs dans linterface ou les textes ? Ou savez-vous comment améliorer linterface utilisateur de StudyLib ? Nhésitez pas à envoyer vos suggestions. Cest très important pour nous !