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.
Les types de session ont été inventés en 1993. Trente ans plus tard, la plupart des services en réseau valident toujours l'état du protocole avec des…