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 la mutation sécuritaire dans la programmation fonctionnelle grâce à une évaluation paresseuse, à des invariants d'objets et à des fonctions de cache efficaces.
Couvre les efforts de l'EPFL pour réduire les émissions de CO2 grâce à l'informatique en nuage durable et aux collaborations avec Oracle pour la technologie automatisée de chasse aux insectes.
Couvre les principes de la conception de systèmes d'acteurs pour la programmation réactive et explore des exemples pratiques comme le système Link Checker.
Explore efficacement la mise en œuvre d'un nouveau langage de programmation dans GraalVM en utilisant l'évaluation partielle et le profilage d'accès à la mémoire.
Explore les principes de conception des systèmes d'acteurs dans la programmation réactive, couvrant des sujets tels que les clients web, les timeouts, et les interactions d'acteurs.
Explore les limites impératives de la programmation, les théories sans mutation, les principes de programmation fonctionnelle et l'histoire des langages fonctionnels.
