protocols

会话类型如何将死锁转化为编译器错误

会话类型将通信协议编码到你的类型系统中，在代码运行之前将消息传递不匹配转化为编译器错误。