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.
