Comment les types de session transforment les deadlocks en erreurs de compilation
Les types de session encodent les protocoles de communication dans votre système de types, transformant les inadéquations de passage de messages en erreurs de compilation avant que votre code ne s'exécute.
Les deadlocks sont censés être un problème d'exécution. C'est ce qui les rend si agaçants. Votre code compile proprement, vos tests passent, et puis il se…