Cómo los tipos de sesión convierten los deadlocks en errores del compiler
Los tipos de sesión codifican protocols de comunicación en tu sistema de tipos, convirtiendo los desajustes de paso de mensajes en errores del compiler antes de que tu código se ejecute.
Los deadlocks se supone que son un problema de tiempo de ejecución. Eso es lo que los hace tan molestos. Tu código compila limpio, tus pruebas pasan, y luego…