Couvre les représentations intermédiaires dans les compilateurs, en se concentrant sur CPS / L3 IR fonctionnel avec des continuations locales et des constructions de contrôle.
Couvre la définition d'un langage de programmation simple et sa sémantique à grande échelle, y compris les expressions arithmétiques et les commandes impératives.
Explore les grammaires formelles, les algorithmes d'analyse, l'efficacité de l'algorithme CYK et la correction syntaxique dans le traitement du langage naturel.
Explore la programmation réactive fonctionnelle comme une alternative plus propre et plus fonctionnelle au modèle d'observateur traditionnel, en utilisant des signaux pour simplifier les hiérarchies d'observateurs complexes.
Explore l'implémentation d'opérateurs personnalisés dans un langage de programmation, y compris des exemples de syntaxe, des niveaux de préséance, des étapes d'analyse et des solutions telles que la surcharge de fonctions.