Séance de cours
Cette séance de cours couvre la représentation et la transformation des valeurs dans le compilateur L3, en se concentrant sur les fonctions, les blocs marqués, les entiers, les caractères, les booléens et les valeurs unitaires. Il explique le processus de conversion de fermeture, en introduisant des fermetures pour représenter des fonctions avec des variables libres. La séance de cours explore les défis de la représentation des fonctions dans les langages fonctionnels, l'introduction des fermetures et l'impact sur l'abstraction et l'application des fonctions. Il traite également des fermetures plates, des fermetures récursives et des fermetures mutuellement récursives, mettant en évidence les techniques permettant aux fermetures d’accéder à elles-mêmes et aux autres. En outre, il explore la phase de conversion de fermeture dans le compilateur L3, détaillant la gestion des variables libres, la définition des fonctions, l'application et les primitives de test.