Typage M2 - Cours 1
Pierre Letouzey
2 octobre 2013
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...
1 / 25 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 !