Laboratoire de vérification de type

Cette séance de cours couvre la mise en œuvre d'un vérificateur de type pour Amy, un langage typé statiquement, en se concentrant sur l'analyse des noms et des types. Il explique la transition des arbres nominaux aux arbres symboliques, la génération de contraintes de frappe et le processus de résolution via l'unification. La séance de cours explore également la sémantique et les règles de dactylographie des expressions dans Amy, soulignant l'importance de la vérification de type dans le processus de compilation.