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.
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.
Présente des ensembles, des fonctions, des produits cartésiens et des compositions, en discutant des images, des préimages et des propriétés des fonctions.
Explore le triomphe du déterminisme dans la mécanique moderne et la méthodologie du développement scientifique, avec des exercices pratiques sur l'estimation de l'utilisation du masque chirurgical et l'analyse de l'énergie de la bombe atomique.
