Séance de cours

Laboratoire de vérification de type

Description

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.

À 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.