Représentation des valeurs : Marquage et boxe

Cette séance de cours traite de l'amélioration du processus de traduction en abordant des questions telles que les continuations inutiles et les conditions sous-optimales. Il introduit différentes traductions basées sur le contexte source, y compris les traductions sans queue, queue et cond. La séance de cours couvre également la représentation des valeurs dans la langue cible, en explorant des techniques telles que la boxe, le marquage et la boxe à la demande. La spécialisation et la spécialisation partielle sont présentées comme des solutions pour optimiser les performances, avec des exemples d'arithmétique entière étiquetée.