Sous-typage et calcul de type

Cette séance de cours couvre les concepts de sous-typage et de calcul de type, en se concentrant sur le calcul des limites les plus basses et les limites les plus basses des types dans un système étendu avec le sous-typage. L'instructeur parcourt des exercices impliquant STLC étendus avec sous-typage, expliquant les règles et guidant le public à travers la résolution des exercices étape par étape. La session aborde également des questions sur les types de fonctions, la variance et l'application des paramètres de type. En outre, la séance de cours se penche sur la preuve de l'équivalence entre la négation moyenne et double exclue dans un système étendu avec le sous-typage. L'instructeur fournit des explications détaillées, encourage la pensée critique et guide le public dans la compréhension et l'application efficace des concepts.