更新

[wky]

词法、语法分析已经写好，现在能够生成最基本的语法树。大家测试一下 @featheryleaf @Mestway

[Mestway]

诸位，我建议参考A Type System for Lock-Free Process（Information and Computation）中的Usage来完成我们的project，A new Type System for Deadlock-Free Processes这篇会复杂不少，而且前者也能解决大部分的问题了。@wky

[wky]

我现在参考 Type Systems for Concurrent Programs 里面的simple type， 写了一个类型推导的算法（未完成）， 基本上跟我们课程里面学的一样。