DeepSeek Harness 前沿工程实践
张嘉熙
PayPal 高级软件工程师
27 人已学习
新⼈⾸单¥59
登录后,你可以任选4讲全文学习
课程目录
已更新 2 讲/共 24 讲
DeepSeek Harness 前沿工程实践
15
15
1.0x
00:00/00:00
登录|注册

01|时之可逆:Context、插件与可撤销的 Effect

你好,我是张嘉熙。欢迎来到《DeepSeek Harness 前沿工程实践》的第一讲。这一讲我们来聊聊 Cordis。
Cordis 的定位是「时空可组合性的元框架」。乍一听不好理解,不过你别被这些词吓住,你可以把普通框架想象成一份乐高积木的拼装说明书,而元框架就是积木凹凸点之间的拼接规范:它不关心你能拼成什么,只管任何积木块之间都能“咔哒”扣上、也能随时拆开。
「时空可组合性」则来自一篇论文《A Programming Paradigm for Spatiotemporal Composability》,它把“组件拆装”这件事,抽象成两个正交的维度:
时间维度:一个组件被移除时,它对环境所做的修改,能不能被干净地逆转?
空间维度:多个组件存在依赖关系时,被依赖的一方一旦发生变化,依赖方能不能自动地跟着激活或停用?
课程前两讲会分别沿着这两个维度展开。这一讲,我们先重点关注时间维度,也就是标题里的「时之可逆」。其实它的精髓可以浓缩成一句话:
每一个产生副作用(Effect)的行为,在 Cordis 中都能成对地定义好“副作用”和“怎么撤销它”;框架保证,只要你返回了正确的清理函数,当这个行为被取消时,“怎么撤销它”一定会被兑现。
确认放弃笔记?
放弃后所记笔记将不保留。
新功能上线,你的历史笔记已初始化为私密笔记,是否一键批量公开?
批量公开的笔记不会为你同步至部落
公开
同步至部落
取消
完成
0/2000
荧光笔
直线
曲线
笔记
复制
AI
  • 深入了解
  • 翻译
    • 英语
    • 中文简体
    • 法语
    • 德语
    • 日语
    • 韩语
    • 俄语
    • 西班牙语
  • 解释
  • 总结
仅可试看部分内容,如需阅读全部内容,请付费购买文章所属专栏
《DeepSeek Harness 前沿工程实践》
新⼈⾸单¥59
立即购买
登录 后留言

精选留言

由作者筛选后的优质留言将会公开显示,欢迎踊跃留言。
收起评论
显示
设置
留言
收藏
沉浸
阅读
分享
手机端
快捷键
回顶部