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.
Explore le sous-typage, les génériques et la variance dans Scala, en soulignant l'importance de descriptions de types précises et en démontrant des applications pratiques des expressions.
Couvre les bases de la programmation orientée objet en C++, y compris l'encapsulation, l'abstraction, et l'importance de regrouper les données et les méthodes.
