有个梨UGlee
2019-11-16 15:06:45 发布
绝大多数node callback代码，也就是喜欢coroutine线程模型的开发者们说的continuation，是具有pi calculus意义上的summation组合关系的，但是代码层面很难简单表述，也很难检查完备性。