Couvre la programmation générique en C ++ à travers des modèles pour les classes et les fonctions, en présentant des exemples et en discutant de la spécialisation et de la compilation séparée.
Explique la traduction de for-expressions en Scala à l'aide de fonctions map, flatmap et filter, avec des exemples et une discussion sur sa généralisation à différents types.
Explore les cartes, les opérateurs de type, l'équivalence, les types de première classe, System Fw, Coq, et les défis de la vérification de type dans les langages de programmation.
Discute des types avancés en C, y compris les types énumérés, les typesdefs et les structures, avec des exemples pratiques pour illustrer leur utilisation.
