Os tipos de sessão funcionam. A maioria das linguagens simplesmente recusou-se a implementá-los.
Tipos de sessão codificam protocols de comunicação no sistema de tipos, transformando erros de protocol em tempo de execução em falhas em tempo de compilação. Veja por que passaram trinta anos em artigos de pesquisa antes do código de produção poder usá-los.
Tipos de sessão foram inventados em 1993. Trinta anos depois, a maioria dos serviços em rede ainda valida o estado do protocol com verificações em tempo de…