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.
Explore l'inférence de type dans les langages typés statiquement, en utilisant des algorithmes pour attribuer des types aux expressions de programme avec précision.
Couvre les fonctions mathématiques, y compris les fonctions logarithmiques, exponentielles et trigonométriques, ainsi que les limites et les types de fonctions.
Explore les fonctionnalités de base de la programmation orientée objet, y compris la répartition dynamique, l'encapsulation, l'héritage et le sous-typage, en utilisant des exemples Java et des informations pratiques.
Couvre les concepts et la mise en œuvre de la programmation fonctionnelle dans Scala, mettant l'accent sur les fonctions, les données immuables et l'abstraction des données.
Couvre les défis de mise en page d'objets dans les scénarios d'héritage unique, en se concentrant sur les langages de type Java et la répartition des méthodes à l'aide de tables de méthodes virtuelles.
Explore les techniques de collecte des ordures dans des langages orientés objet, en se concentrant principalement sur la copie et la génération GC, l'organisation des tas, les politiques de promotion et les défis de répartition des méthodes.
Couvre les fonctions de la programmation C, mettant l'accent sur la réutilisabilité et la réduction des erreurs grâce à une structure de fonction appropriée.
