Explore l'optimisation de la répartition des méthodes dans les langages orientés objet, en se concentrant sur la mise en cache en ligne et les tests d'adhésion.
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.
Explore le sous-typage, le calcul de type et le calcul de limites de type dans un système avec sous-typage, guidant à travers des exercices et des preuves étape par étape.
