Langages de programmation et compilation

Ecole Normale Superieure
Langages de programmation
et compilation
Jean-Christophe Filli^atre
Cours 4 / 21 octobre 2010
Jean-Christophe Filli^atre Langages de programmation et compilation 2010{2011 / cours 4 1 / 77Typage
+
Jean-Christophe Filli^atre Langages de programmation et compilation 2010{2011 / cours 4 2 / 77Typage
/
Jean-Christophe Filli^atre Langages de programmation et compilation 2010{2011 / cours 4 3 / 77Typage
si j’ecris l’expression
"5" + 37
dois-je obtenir
une erreur ? (Caml)
l’entier 42 ? (Visual Basic)
la cha^ ne "537" ? (Java)
autre chose encore ?
et qu’en est-il de
37 / "5"
?
Jean-Christophe Filli^atre Langages de programmation et compilation 2010{2011 / cours 4 4 / 77Typage
et si on additionne deux expressions arbitraires
e1 + e2
comment determiner si cela est legal, et ce que l’on doit faire le cas
echeant ?
la reponse est le typage, une analyse statique du programme qui associe
un type a chaque sous-expression, dans le but de rejeter les programmes
incoherents mais aussi de permettre la compilation
Jean-Christophe Filli^atre Langages de programmation et compilation 2010{2011 / cours 4 5 / 77Slogan
well typed programs do not go wrong
Jean-Christophe Filli^atre Langages de programmation et compilation 2010{2011 / cours 4 6 / 77Objectifs du typage
le typage doit ^etre decidable
le typage doit rejeter les programmes absurdes comme 1 2, dont
l’evaluation echouerait ; c’est la suret^ e du typage
le typage ne doit pas rejeter trop de programmes ...