Séance de cours
Type Inférence: Hindley-Milner Aperçu
Description
Cette séance de cours couvre l'inférence de type dans les langages typés statiquement, en se concentrant sur des algorithmes tels que la propagation ascendante et l'inférence basée sur les contraintes Hindley-Milner. Il explique comment affecter des types aux expressions de programme et introduit des règles de type pour les variables, les constantes, les paires et les fonctions. La séance de cours explore également l'inférence de type Hindley-Milner, en soutenant les types structurés génériques et en présentant des exemples d'inférence de type dans des programmes sans annotations.
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.