从用户易用性的角度来说，我觉得它设计得比Pi好，特别是它具备一个UI界面，降低了使用的门槛，增加了易用性。 
但是我今天才有时间看一下 Cordis 的所谓 “时空可组合性”。一开始我以为是设计了一个精巧的数据结构和运行机制让所有插件可以无冲突地挂载和卸载，谁知道只是一个依赖树自动推导和开发者手写注册和卸载函数？ 
一个 effect 能不能逆？怎么自动发现 effect？怎么自动构造 inverse？多个 effect 发生冲突怎么恢复？外部世界不可逆操作怎么办？失败到一半如何恢复到一致状态？ 都没解决 (如果解决了我给你跪一个) 
这也没新东西啊，这也值得发论文？