C'est quoi, au fond, l'informatique - Société Informatique de France
C'est quoi, au fond, l'informatique - Société Informatique de France
C'est quoi, au fond, l'informatique - Société Informatique de France
Create successful ePaper yourself
Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.
Un concept unificateur : les types✤ Le programme comme base <strong>de</strong> raisonnement logiqueUne voie vers la production <strong>de</strong> programmes corrects✤ Types pour les langages <strong>de</strong> programmationType = assertion associée à un élément du langageRègles <strong>de</strong> typage : utiliser un élément conformément à son typeLangage statiquement typé : un programme “bien typé” est exempt<strong>de</strong> certaines erreurs à l’exécutionInférence <strong>de</strong> types (ML, …) : détermination <strong>au</strong>tomatique <strong>de</strong> typesBenjamin C. Pierce, Types and Programming Languages, MIT Press, 2002© 2010, S. Krakowiak Congrès Specif 2010 11
Change language