Couvre la définition d'un langage de programmation simple et sa sémantique à grande échelle, y compris les expressions arithmétiques et les commandes impératives.
Corrige les erreurs courantes avec le type de bool en C++, expliquant son utilisation pour les conditions et fournissant des exemples d'utilisation correcte.
Explore l'inférence de type dans les langages typés statiquement, en utilisant des algorithmes pour attribuer des types aux expressions de programme avec précision.
