Los tipos de sesión funcionan. La mayoría de lenguajes simplemente se negaron a implementarlos.
Los tipos de sesión codifican protocols de comunicación en el sistema de tipos, convirtiendo errores de protocol en tiempo de ejecución en fallos en tiempo de compilación. Aquí está por qué pasaron treinta años en artículos de investigación antes de que el código de producción pudiera usarlos.
