Êtes-vous un étudiant de l'EPFL à la recherche d'un projet de semestre?
Travaillez avec nous sur des projets en science des données et en visualisation, et déployez votre projet sous forme d'application sur Graph Search.
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.