Sous-typage et génériques: Variation et covariance

Cette séance de cours couvre les concepts de sous-typage et de génériques, en mettant l'accent sur leurs interactions, leurs limites de type et la variance. Il explore les relations entre différents types, tels qu'IntSet, Empty et NonEmpty, et comment définir des limites de type précises. La discussion s'étend à la covariance, aux tableaux, au principe de substitution de Liskov et à la définition de la variance dans Scala. La séance de cours se penche également sur la variance des types de fonctions, les vérifications de la variance et la mise en oeuvre des listes de covariantes. En outre, il s'adresse à d'autres collections comme Vectors, tableaux, chaînes, gammes, et diverses opérations de séquence. La séance se termine par des exemples de recherche combinatoire, d'expressions et de tests de nombres premiers.