Типы сессий работают. Большинство языков просто отказалось их реализовывать.
Типы сессий кодируют коммуникационные протоколы в системе типов, превращая runtime-ошибки протоколов в ошибки компиляции. Вот почему они провели тридцать лет в исследовательских статьях, прежде чем продакшн-код смог их использовать.
Типы сессий были изобретены в 1993 году. Тридцать лет спустя большинство сетевых сервисов всё ещё валидируют состояние протокола с помощью ручных…