Concept
Système F
Séances de cours associées (32)
Formules logiques et types: comprendre l'isomorphisme de Kerry Howard
Explore l'isomorphisme de Kerry Howard, traduisant des propositions logiques en types et en termes, en mettant l'accent sur la preuve par induction et la préparation à l'examen.
Vérification de type et reconstruction: équations et unification
S'intéresse à la vérification de type, à la reconstruction, aux équations, à l'unification, au système Hindley/Milner, au polymorphisme et aux principaux types.
Erreurs d'état permanent et réponse du système
Explique l'impact du décalage à l'état d'équilibre, des types de système et de l'intégrateur sur la stabilité.
Séance papier et stylo: Lambda Calculus Proofs
Plonge dans Lambda Calculus preuves, mettant l'accent sur l'induction structurelle et la manipulation variable.
Codage de la récursivité comme auto-application
Explore le calcul lambda, les fonctions d'ordre supérieur et l'encodage récursif des fonctions.
Sous-typage et calcul de type
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.
Types polymorphes chez Amy
Couvre les types polymorphes dans Amy, y compris les règles Hindley-Milner, les schémas de type, l'instanciation et la gestion des variables de type dans les fonctions.
Fonctions d'ordre supérieur: Théorie de l'unification
Couvre les fonctions d'ordre élevé, l'analyseur et les concepts de vérificateur de type.
Lambda Calculus: Syntaxe et Abstractions
Introduit des termes, des abstractions, des applications et des valeurs dans le calcul lambda.
Principes thermodynamiques : Enthalpie et réactions
Explore les principes de thermodynamique, l'enthalpie, les réactions et la loi de Hess dans les systèmes chimiques.