Couvre les concepts et la mise en œuvre de la programmation fonctionnelle dans Scala, mettant l'accent sur les fonctions, les données immuables et l'abstraction des données.
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.
Couvre les méthodes itératives pour trouver des points fixes de fonctions, en se concentrant sur les calculs de racine carrée et la puissance des fonctions en tant que valeurs de retour.
Explore l'inférence de type dans les langages typés statiquement, en utilisant des algorithmes pour attribuer des types aux expressions de programme avec précision.
Explore des sujets avancés d'ingénierie logicielle et de traitement du signal en utilisant des listes paresseuses pour construire un synthétiseur sonore à partir de zéro.
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.