Introduit Stainless, un outil open-source pour vérifier les programmes Scala, couvrant le langage, la modélisation, les conseils de vérification et les travaux intérieurs.
Explore la mutation sûre dans Scala, en mettant l'accent sur la gestion de l'état mutable et son importance dans les interactions, la modélisation et l'efficacité de mise en œuvre.
Couvre la décomposition fonctionnelle avec la correspondance des motifs dans Scala pour accéder aux données hétérogènes dans une hiérarchie de classes.
Explore la programmation réactive fonctionnelle à l'aide de signaux pour simplifier les changements d'état et les réactions aux événements dans une approche plus fonctionnelle et propre.
Explore la programmation réactive fonctionnelle comme une alternative plus propre et plus fonctionnelle au modèle d'observateur traditionnel, en utilisant des signaux pour simplifier les hiérarchies d'observateurs complexes.
