S'intéresse à la vérification de type, à la reconstruction, aux équations, à l'unification, au système Hindley/Milner, au polymorphisme et aux principaux types.
Introduit des variables, des objets et des types dans Python, soulignant la signification de la mutabilité des objets et ses implications lors du passage des objets à des fonctions.
