authorprogramming-languagestype-theorydeepseekcordis

Tianyi Cui (崔天屹)

共同作者 (with Yifan Shi and Wei Zhang),Shi Zhang & Cui 2026 A Programming Paradigm for Spatiotemporal Composability。DeepSeek-AI affiliation(与 Yifan Shi 双重 affiliation)。

关键贡献

  • Cordis 实现架构(5.x)——core library API 设计(ctx.effect / ctx.set / ctx.get);ctx[key] Proxy 走 Algorithm 6(声明式 coeffect 访问,沿 fiber 链向上 walk)。
  • Component Loader(5.2)——声明式 entry 树、增量 reconciliation、isolate 字段的双 scope 规则(local realm 跟随 entry、global realm 跟随字符串)。
  • Hot Module Replacement(5.2.2)——三阶段 classify → detect → transactional reload;Algorithm 10 失败时回滚到 backup;与传统 HMR(Webpack / Vite)的关键差异是无需开发者标注 module.accept 边界。
  • 案例研究:Koishi(5.3)——基于 Cordis v3 的聊天机器人框架;4000+ 社区插件;4 年生产验证;同套原语支撑服务器端 + Web Console(浏览器端 Cordis 实例)。

Affiliations

  • DeepSeek-AI(深度求索)—— 推测系统/Agent 方向。

相关条目