Couvre les fondamentaux de la programmation réactive, mettant l'accent sur les systèmes axés sur les événements, évolutifs, résilients et réceptifs, et propose d'utiliser la programmation fonctionnelle pour les abstractions d'événements composables.
S'oriente vers la réactivité dans la programmation réactive, en mettant l'accent sur les réponses opportunes du système, le parallélisme et la fiabilité du système.
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.
Présente le modèle d'observateur largement utilisé pour les vues afin de réagir aux changements de modèle, avec des exemples d'éditeur, d'abonné et de consolidateur.
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.
Couvre la preuve du théorème ARV de Bourgain, en se concentrant sur lensemble fini de points dans un espace semi-métrique et lapplication de lalgorithme ARV pour trouver la coupe la plus clairsemée dans un graphique.
Couvre la simulation d'événements discrets à l'aide de circuits numériques, de composants de base, de composants complexes et de la mise en œuvre de la simulation.
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.
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.
