8.4. Liste des codes sources🔗

• Listing 1 : Un protocole de couche 1, dont le compilateur dérive la dualité client/serveur
• Listing 2 : Un motif de jonction, dont la couverture des combinaisons de messages se vérifie statiquement
• Listing 3 : Le cœur du calcul : une fonction pure de couche 3, totale et sans effet
• Listing 4 : La couche 2 orchestre l'effet observable sans jamais muter l'état directement
• Listing 5 : L'acteur ne porte que sa topologie et le rattachement de son gestionnaire
• Listing 6 : L'erreur la plus commune : une construction à effet remontée dans un bloc pur, rejetée par ERR-TOP-001
• Listing 7 : Un raffinement laissé en trou, que la complétion résout par narrowing