Couvre les bases des langues formelles, y compris les alphabets, les mots et les langues, ainsi que des opérations comme la concaténation et l'inversion.
Couvre la sémantique des langages de programmation, en se concentrant sur le langage Add et le rôle des règles de réécriture et des machines CK dans la compréhension du sens.
Couvre les types polymorphes dans Amy, y compris les règles Hindley-Milner, les schémas de type, l'instanciation et la gestion des variables de type dans les fonctions.
Explore les techniques d'optimisation de code telles que le pliage constant, le précalcul et la propagation constante pour améliorer l'efficacité et la qualité du code.
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.
