Couvre la mise en œuvre de fonctions récursives à l'aide de substitutions et d'environnements, montrant la capacité d'exécuter des fonctions calculables.
Présente un interpréteur basé sur l'environnement pour les fonctions récursives, optimisant l'évaluation grâce à des liaisons de paramètres et éliminant le besoin de substitutions explicites.
Démontre une approche métacirculaire pour interpréter efficacement les fonctions d'ordre supérieur en utilisant des environnements et des fonctions de première classe.
Explore l'analyse du texte dans les arbres à l'aide de combinateurs d'analyseurs dans Scala, couvrant le filtrage, la transformation, le séquençage, les alternatives, la récursion, la manipulation des espaces, le lexing, la nature monadique et la notation.
