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.
Los tipos de sesión se inventaron en 1993. Treinta años después, la mayoría de los servicios en red siguen validando el estado del protocol con comprobaciones…