Explore les règles de sous-typage, les défis et son lien avec diverses formes de polymorphisme dans les langages de programmation.
Discute de l'importance des types, des systèmes de types malsains et des relations inductives pour le système de type d'un petit langage.
Couvre le concept de génériques en Java, en se concentrant sur l'implémentation et l'utilisation.
Couvre le sous-typage, les génériques, la variance, les limites de type, la covariance, la contravariance et la recherche combinatoire.
Explore l'implémentation d'opérateurs personnalisés dans un langage de programmation, y compris des exemples de syntaxe, des niveaux de préséance, des étapes d'analyse et des solutions telles que la surcharge de fonctions.
Couvre le concept de l'action monodromique dans le contexte des revêtements et explore la transitivité et les classes uniques.
