Langage de Programmation 2 (LP2)

Langage de Programmation 2 (LP2)
Langage de Programmation 2 (LP2)
RICM3
Cours 6 : Polymorphisme, Typage
Pascal Lafourcade
Polytech
2009 - 2010
1 / 53

Langage de Programmation 2 (LP2)
La dernière fois
◮Flots
◮Exceptions
2 / 53

Langage de Programmation 2 (LP2)
Plan
Polymorphisme
Généralités sur le “Typage”
Typage du let et let rec
Typage des exceptions
Bilan
Application
Conclusion
3 / 53

Langage de Programmation 2 (LP2)
Polymorphisme
Le polymorphisme : définitions
Définitions
◮Étymologiquement : plusieurs formes
◮En informatique : capacité d’une fonction à « s’adapter » à
des arguments de type différent
Deux espèces (hors langages à objets) :
◮polymorphisme ad-hoc
ex : +sur les entiers, les flottants, les chaîne. . .
dans chaque type, le sens (le code exécuté) est différent
◮polymorphisme paramétrique
ex : @sur les listes d’entiers, de flottants, de chaînes. . .
le code exécuté est uniformément le même
5 / 53

Langage de Programmation 2 (LP2)
Polymorphisme
Exemple basique *
Fonction identité let id = fun x→x
type :
Application :
◮à des entiers : id 3
◮à des arbres : id (N(N(F,7,F), 2,N(F,5,F)))
◮à des fonctions : id (fun n→(n+3))
◮à elle-même : id id, id id 3.14 [⇒hors théorie des ensembles]
6 / 53