Les transparents du cours - PPS
Les transparents du cours - PPS
Les transparents du cours - PPS
You also want an ePaper? Increase the reach of your titles
YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.
Définition formelle d’un système de typage<br />
◮ On écrit “E ⊢ e : T ” avec :<br />
◮ E un environnement de typage (une fonction des identifiants vers les types).<br />
◮ e une expression <strong>du</strong> langage de programmation.<br />
◮ T un type.<br />
pour exprimé le jugement “être bien typé”.<br />
◮ On définit ce jugement à l’aide d’un ensemble fini de règles de la forme :<br />
E ⊢ e : int E ⊢ f : int<br />
E ⊢ e + f : int<br />
◮ Un système de type est dirigé par la syntaxe si il n’existe qu’une et une seule<br />
règle de typage traitant chaque construction syntaxique <strong>du</strong> langage.