陌生严格语言代理交付提纲
你是多语言代理工作流顾问。只根据用户目标写分工，不要编造已掌握的语言水平或已省小时。
目标工具：{{tool}}
熟悉语言：{{known_lang}}
目标语言/编译器：{{target}}
输出 Markdown：
1. 定案模型 vs 执行模型分工
2. 编译/测试门禁
3. 功能后「结构性易碎点」反思问题
4. 人必须理解才能合入的清单
禁止声称「不会该语言也能无人值守」；禁止建议跳过编译器。← 返回用例列表
David：几乎不会 Haskell，却用 AI 做出日常在用的二进制版本工具 bit
个人；披露 Swift 背景、几乎不会 Haskell；Claude Opus 定案+出 Cursor 提示，Cursor/Sonnet 写码测并啃 GHC；强调编译器立刻挡错；日常自用 CLI；不代你跳过类型/测试门禁。
场景说明
面向想在「严格语言」里用代理交付实用工具的独立开发者：把「贵模型定案 → 便宜模型执行 → 编译器当裁判」写成门禁，区别于零手写仿真与单会话换框架。
案例叙事
01他们做了什么
David Hoze 在 DEV《How I Built a Version Control Tool in Haskell Using AI – Even Though I'm a Swift Developer》（JSON-LD datePublished 2026-02-07T23:54:53Z → 2026-02-07）写明：反「AI 只配写动态语言」的常识，用 Claude 定案与出提示、Cursor/Sonnet 实现，在 GHC 严格报错下做出日常使用的二进制版本工具 bit。
关键回路是编译失败→具体类型错→快速收敛，以及功能后的结构性反思（有的重构采纳、有的如 free monad 被退回）。
本场景据此输出「陌生严格语言代理交付」提纲。禁止把「日常能用」写成无人值守生产保证，或建议跳过编译/属性测试。
02实际效果
- 源披露 Swift 背景几乎不会 Haskell、Claude Opus 定案+Cursor/Sonnet 实现、日常自用 bit CLI、以及幻影类型/ADT/曾撤回 free monad 等作者口径；未披露总 LOC/总工时；属个人工具窗口，不可外推为你的语言迁移速度、正确性或「不会该语言也能放任合入」。
- 能把「流畅可运行的动态语言草稿」与「编译器强迫收敛」拆开。
- 为过度抽象（如过早 effect 系统）与「作者不懂却合入」风险提供提问清单。
03值得知道
- 未给出总行数、总花费或对照实验。
- 作者明确多数范畴/类型技巧靠 AI 发现，理解深度有限。
- 上面写的是个人工程实践帖，不是 Haskell/Cursor 官文。
04可复制提示词
代理引入过重抽象复盘
代理加入了你看不懂的 FP/类型机械，或随后建议删掉。请写复盘提纲。
现象：{{symptom}}
输出：
1. 过早抽象、缺测试，还是真消除了一类 bug
2. 最小修补（保留/回滚标准）
3. 下次验收标准
4. 人工确认清单
不要伪造「更多类型体操等于更正确产品」。怎么做
- 粘贴目标 CLI 边界、你真实熟悉的语言，以及「编译/测试必须绿才合入」门禁
- Agent 按实践帖输出：Opus 定案→Cursor 提示→Sonnet 实现→反思重构的分工表
- 人工保留需求与合入；Agent 不代你声称「不会该语言也能无人值守上生产」
实用提示
- 源帖（JSON-LD datePublished 2026-02-07T23:54:53Z → 2026-02-07）：作者 David Hoze（Swift 开发者，自述几乎不会 Haskell）用 AI 做出 bit——面向大媒体/数据集等「Git 不友好」二进制的版本/同步类 CLI，并称日常自用。论点：常规建议用 Python/JS「训练数据多」，但动态语言里 AI 流畅却静默错；Haskell 起初几乎都不过编译，但 GHC 报错具体，Cursor 一两轮常能修到可运行，「能编译往往就能工作」。工作流：Claude Opus 4.5（extended thinking/必要时 research）头脑风暴定案 → 让 Claude 写给 Cursor 的提示 → Cursor 用 Sonnet 4.5 写码与测试 → 处理依赖/GHC 错 → 测与修 → 功能完成后追问「你引入了哪些结构性易碎点」并带回 Claude 决定是否采纳重构。文中示例：纯函数 diffAndPlan、幻影类型区分 MD5/SHA256、智能构造隐藏 Remote 构造器、ADT 建模 GitDiff/RcloneAction；曾引入 free monad 后又因复杂/尚无纯测被 AI 建议撤回，改 ReaderT BitEnv IO。明确：作者多数 FP 概念「有直觉但不真懂」，靠编译器与测试托底。
- 与 sebastian-chedal-hydraulic-3d-zero-human-code / jonesrussell-laravel-waaseyaa-one-session 不同：本条是陌生严格语言 + 编译器裁判的个人工具，不是仿真零手写或单会话换 Web 框架