Algorithmique et Programmation Fonctionnelle
Algorithmique et Programmation Fonctionnelle
RICM3
Cours 7 : Typage, Polymorphisme, Ordre supérieur
Jean-François Monin, Benjamin Wack
Polytech
2016 - 2017
1 / 42
Algorithmique et Programmation Fonctionnelle
La dernière fois
En cours :
IModules
ICompilation
2 / 42
Algorithmique et Programmation Fonctionnelle
Projet
Systèmes de Lindenmayer
IContenu : fonctions récursives, structures de données,
modules et foncteurs, compilation, flots...
I(Quelques) fichiers fournis sur le site
ITravail en binômes choisis librement
ILes deux derniers TPs sont consacrés essentiellement au suivi
de projet
IDate limite non négociable : vendredi 16 décembre
3 / 42
Algorithmique et Programmation Fonctionnelle
Plan
Généralités sur le “Typage”
Typage du let et let rec
Bilan
Polymorphisme
Inférence de type polymorphe
4 / 42
Algorithmique et Programmation Fonctionnelle
Généralités sur le “Typage”
Plan
Généralités sur le “Typage”
Typage du let et let rec
Bilan
Polymorphisme
Inférence de type polymorphe
5 / 42
1 / 109 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 !