2025年2月17日
借助GPT理解梨叔微博关于派计算的一个贴
摘要： 贴: golang做对的事情是选择了一种process calculus作为设计范式，没做对的地方是选择了csp而不是π。 rust做对的地方是选择了基于类linear logic的类型系统管理资源，没做对的地方是未能支持session type和使用π作为term calculus。 理论还是有用 阅读全文
posted @ 2025-02-17 21:00 ffl 阅读(111) 评论(0) 推荐(0)