Como os tipos de sessão transformam deadlocks em erros de compiler
Tipos de sessão codificam protocols de comunicação no seu sistema de tipos, transformando incompatibilidades de passagem de mensagens em erros de compiler antes que seu código execute.
Deadlocks deveriam ser um problema de tempo de execução. É isso que os torna tão irritantes. Seu código compila limpo, seus testes passam, e então ele lock em…