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.
Explore les limites impératives de la programmation, les théories sans mutation, les principes de programmation fonctionnelle et l'histoire des langages fonctionnels.
Explore la concentration de preuve de mesure en utilisant les méthodes de transformation de Laplace et démontre son application à travers des exemples et des propositions.
