shuding 博客长文：隐喻即函数，协议把 n×n 变 n+n
shuding · x · 2026-09-23
Vercel 工程师 shuding 发布博客《Metaphors》，用数学与计算机视角重新解释「隐喻」：好的隐喻是一个保结构的映射函数，能让人在熟悉的领域推理后把答案带回未知领域。
- 协议把乘法变加法：n 个编辑器 × n 种语言本是 n² 套集成，LSP 出现后变成 n+n。同样的模式出现在 USB、HTTP、TCP/IP，以及近期连接模型与工具的 MCP——协议即使单点不如定制集成，也会因随 n 增长的收益而胜出。
- 共享结构正在变成「程序」：钟摆、细胞、市场都能写成代码从而互相通信；而程序即数学——在 Curry–Howard 对应下，类型是命题、程序是证明，Lean 中数学家已把定理写成程序交给类型检查器裁判。
- 量纲分析是「世界程序」的类型检查：3 米 + 2 秒的荒谬正如类型系统拦截类型不匹配的错误（文章此处被截断，但论点已明）。
文中引用 Poincaré「数学是给不同事物取相同名字的艺术」，并主张隐喻、协议、类型系统本质上是同一件事。
「漫话AGI」频道最新
- 一家数据公司 3 个月内 ARR 从 1000 万涨到 3 亿美元 — menhguin · 2026-09-23
- 一份理想主义的「人类-AI 共同宪法」草案上线 — lommelinn · 2026-09-23
- 作者建言:文本被 AI 检测器标记超 80% 应直接声明为 AI 代写 — soumitrashukla9 · 2026-09-23
- Reddit 热议：模型能力不缺，缺的是敢放心把活交给 AI 的人 — wafflesoverpancakes2 · 2026-09-23
- 经济学家发问：为何 AI 尚未带来游戏与 VR 的非线性飞跃？ — paulnovosad · 2026-09-23
- Coface 报告：AI 正在重绘职业自动化风险地图 — 233C · 2026-09-23