Les types de session fonctionnent. La plupart des langages ont simplement refusé de les implémenter.
Les types de session encodent les protocoles de communication dans le système de types, transformant les erreurs de protocole à l'exécution en erreurs à la compilation. Voici pourquoi ils ont passé trente ans dans des articles de recherche avant que le code de production puisse les utiliser.
