技术英语精读 · 句式篇
📖 Stop Using OpenCode（wren 对开源 AI 编程智能体 OpenCode 的源码级批判）
✍️ 句式拆解：
“Compaction is a leaky abstraction that tries to make a finite context window look like an infinite one.”
🔍 结构：
- 主句：
Compaction is a leaky abstraction- 主语
Compaction（压缩）是抽象名词，直接点题；系动词is+ 表语a leaky abstraction完成「A 是 B」的判断式定义。 leaky abstraction是软件工程的经典术语（出自 Joel Spolsky），一个词组就完成了定性。
- 主语
- 定语从句：
that tries to make ... look like ...that引导，修饰a leaky abstraction，补充说明「这个抽象具体在干什么」。
- 使役结构（make 复合宾语）：
make a finite context window look like an infinite onemake+ 宾语a finite context window+ 宾补look like ...（省略 to 的不定式）- 这是技术写作里「让 A 呈现 B」的黄金句式。
- 对比内核：
finite（有限）vsinfinite（无限），再用代词one回指context window，避免重复、收束紧凑。
💡 亮点：
- 一句话三重专业感：
leaky abstraction（漏水的抽象）、context window（上下文窗口）、make ... look like使役结构，全是技术圈熟语，信息密度高却不啰嗦。 - 节奏：主句短促定性（6 词），从句展开机制，末了
finite → infinite一对反义词制造张力，读起来像「判断 → 解释 → 反转」三拍。 - 清晰度：用「把有限伪装成无限」这个可感知的比喻，把「上下文压缩」这个抽象机制的本质一次说透——不解释算法，只点破它的缺陷。
🧩 段落精读：
“If you want to summarise a session then the summarisation prompt should be injected at the end to avoid prefilling the entire session from scratch. The best method I’ve found is just an explicit handoff by telling the clanker to write out notes. It’s ugly but it works better than OpenCode’s compaction mechanism, and creates an on-disk artefact that I can edit or reuse in multiple sessions.”
🔗 逻辑：
- 论点（第 1 句）：用条件句
If you want to ... then ...提出原则——总结提示词应「注入末尾」，并带目的状语to avoid prefilling ... from scratch说明理由。 - 论证/方案（第 2 句）：
The best method I've found is ...给出作者自己的实操方案——让智能体「显式写下笔记」做交接。 - 结论（第 3 句）：
It's ugly but it works better ...先让步（承认丑）、再转折（但更好用），并用and creates ...追加一个额外收益（生成可编辑、可复用的磁盘文件）收尾。
📌 连接词：
If ... then ...（第 1 句）：条件→结果，把「怎么做」包装成一条普适规则to avoid（第 1 句末）：目的状语，紧跟方案给出理由，逻辑闭环but（第 3 句）：让步转折，「丑但管用」，制造真实感and（第 3 句）：并列递进，追加论据，让结论更有说服力
🎯 模仿练习：
“A connection pool is a leaky abstraction that tries to make a fragile remote database look like a local one.”
（套用「主句判断 + that 定语从句 + make 使役结构 + finite/infinite 式对比」，描述连接池的本质缺陷。）
选文说明：本文为今日午间刚学的精读文章（
20260721-stop-using-opencode），句式篇提取了「使役结构 make + 宾补」这一技术写作高频句式，以及「论点 → 方案 → 让步结论」的三段式论证逻辑。