Séance de cours
Type Inférence
Description
Cette séance de cours couvre l'inférence de type dans les langages typés statiquement, en se concentrant sur l'attribution de types aux expressions de programme. Il explore des algorithmes tels que les types de propagation ascendante et l'inférence de type basée sur les contraintes Hindley-Milner. Le processus consiste à générer des contraintes, à unifier les variables de type et à résoudre des équations pour en déduire les types avec précision.
Source officielle
À propos de ce résultat
Cette page est générée automatiquement et peut contenir des informations qui ne sont pas correctes, complètes, à jour ou pertinentes par rapport à votre recherche. Il en va de même pour toutes les autres pages de ce site. Veillez à vérifier les informations auprès des sources officielles de l'EPFL.