DeepSeek发布Harness：以论文形式定义编程范式，源自Jane Street背景

sudoraohacker · x · 2026-08-15

DeepSeek发布Harness，不同于常规技术博客，直接发布论文《A Programming Paradigm for Spatiotemporal Composability》。论文用形式化定义、数学符号解释Cordis背后的编程范式，涵盖effect、coeffect、context transformation、inverse等概念。Harness设计理念为“框架即插件，插件即框架”，一切皆插件。论文作者之一崔添翼曾在Jane Street工作九年，深受函数式编程和形式化推理影响。