Type Inférence: Hindley-Milner Aperçu

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.