Typage M2 - Cours 1

Typage M2 - Cours 1
Pierre Letouzey
15 janvier 2015

Pr´erequis
IProgrammation fonctionnelle :
IOCaml et/ou Haskell, `a la rigueur Scheme ou Lisp
⇒Si besoin suivez le cours de PF en L3 :
http://www.pps.univ-paris-diderot.fr/~treinen/teaching/pf5/

Qu’est-ce que le typage ?
ICf. Pierce, Types and Programming Languages :
I”Un syst`eme de type est une m´ethode syntaxique
effective pour prouver l’absence de certains
comportements de programmes grˆace `a la classification
des phrases selon les types de valeurs qu’elles calculent”

Quelle classification ?
On retrouve g´en´eralement:
Iles types de bases (entiers, flottants, ...)
Iles structures de donn´ees (paires, tableaux, ...)
Iles fonctions
I...

Quelle classification ?
On retrouve g´en´eralement:
Iles types de bases (entiers, flottants, ...)
Iles structures de donn´ees (paires, tableaux, ...)
Iles fonctions
I...