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.
Couvre les fonctions mathématiques, y compris les fonctions logarithmiques, exponentielles et trigonométriques, ainsi que les limites et les types de fonctions.
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.
