research

会话类型是有效的。大多数语言只是拒绝实现它们。

会话类型将通信协议编码到类型系统中，将运行时协议错误转化为编译时错误。以下是它们为何在论文中停留三十年才被生产代码采用的原因。