Explore la mutation sécuritaire dans la programmation fonctionnelle grâce à une évaluation paresseuse, à des invariants d'objets et à des fonctions de cache efficaces.
Couvre la modélisation des instructions de contrôle avec des fonctions dans Scala, y compris les boucles while, les boucles de répétition et la traduction for-loops.
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.
