为 Agent 造新语言:Blood 用 comptime 让正则、SQL 拼写错误变编译错
kitlangton · x · 2026-11-09
kitlangton 正在认真推进一门名为 Blood 的编程语言,并晒出了多张语言特性示意图,核心卖点是把元编程/comptime 做成「一个在类型检查期运行的函数,返回类型」这一单一原语:
- 正则 comptime:正则在编译期解析,命名捕获组自动变成带类型的字段;写错捕获名会报编译错误并提示 did you mean
- 常量校验:type Port = u16 where 1 <= self 这类约束在编译期检查,把 0 赋给 const BROKEN: Port 直接报错
- 类型函数:partial(User) 等库函数就是普通 Blood 代码,路由、SQL、格式化字符串都能用同一原语生成类型——SQL 里列名拼错也会在编译期报错
在与 davidcrawshaw 的讨论中,crawshaw 提出现在是「为 agent 造新编程语言」的时机,应重点优化编译时间;kitlangton 回应称 Blood 的内容寻址(content-addressable)设计能精确追踪依赖、最小化重新生成,并计划提供解释模式做即时反馈、LLVM 后端做正式构建,还在考虑用 Cranelift 做开发构建。
所属事件:Blood 语言探索为 Agent 设计编程新范式(2 条相关)→
「编程与Agent」频道最新
- 对 Claude 说「我去买杯咖啡」让它自己重构,成 AI 圈新梗 — shakoistsLog · 2026-11-09
- 2026年20款计算机操作Agent盘点：开源框架与商业助手对比 — TheTuringPost · 2026-11-09
- 开发者实测:Opus 4.5 拆解与并行调度任务比人还擅长 — lucasmeijer · 2026-11-09
- 用 Claude Code 经 ADB 改造海信电视:免 root 禁用 14 个预装应用 — SeanOliver · 2026-11-09
- Grok Bot 与 Claude Code 互联循环互审，自动打磨商业计划 — adamamcbride · 2026-11-09
- levelsio 称用 Claude Code 自设计家具可省中间商，遭网友算账质疑 — rms80 · 2026-11-09