你敢信?美国国税局(IRS)最新开源的税务预扣估算器(TWE),核心逻辑竟用“古董级”XML写成。当全网程序员忙着用JSON/YAML造轮子时,项目工程师负责人直接开麦:XML不是技术债,而是最廉价的领域专用语言(DSL)

一场静悄悄的开源革命

AI配图

3月13日,IRS发布Tax Withholding Estimator(TWE)——纳税人输入收入、抵免等信息,即可预估年终税款并调整工资预扣。免费、开源、首次开放公众贡献权限。
但引爆技术圈的,是幕后工程师的坦白:

“我本想写点酷的,结果最想聊的,竟是XML。”

这位工程师坦言:XML被视作“笨重过时”,却成了TWE两大核心配置之一(另一份是税法事实字典)。整个系统靠它驱动“事实图谱”(Fact Graph)引擎——该引擎原为IRS Direct File开发,如今扛起千万级税务计算。

三行XML,看懂美国税法逻辑

先扔掉偏见,看这段真实代码:

<Fact path="/totalOwed">
<Derived>
<Subtract>
<Minuend><Dependency path="/totalTax"/></Minuend>
<Subtrahends><Dependency path="/totalPayments"/></Subtrahends>
</Subtract>
</Derived>
</Fact>

“总欠税额 = 总税额 - 已缴税款”。没有魔法,没有黑盒。
再看可退税抵免计算:

<Fact path="/totalRefundableCredits">
<Derived>
<Add>
<Dependency path="/earnedIncomeCredit"/>
<Dependency path="/additionalCtc"/>
<Dependency path="/americanOpportunityCredit"/>
<!-- 其他抵免项 -->
</Add>
</Derived>
</Fact>

加法、取最大值、集合求和……税法规则被拆成原子级事实,依赖关系一目了然
作者老实讲:“初看冗长,但看三五个例子就摸清门道。它不炫技,只求清晰。”

AI配图

命令式代码的“致命伤”

换成JavaScript呢?
const totalOwed = totalTax - totalPayments
看似简洁,实则暗藏陷阱:

  • 执行顺序绑架逻辑(用户未填“预估税款”,后续计算全卡死)
  • 中间值转瞬即逝(想查“为何欠税这么多?”?日志都未必留痕)
  • 实现细节淹没业务逻辑(.reduce((acc,val)=>acc+val,0)?这是税法还是JS教程?)

而XML构建的声明式图谱,天生可审计。Fact Graph原作者Chris Given一针见血:

“它能证明:你未被问到的问题,不会影响退税结果;你应得的每一分优惠,都已被计算在内。”

JSON?YAML?s表达式?全军覆没

作者亲自下场对比:

  • JSON被迫用"type":"Subtract"自我解释,嵌套爆炸。XML标签自带语义,无需冗余声明。
  • YAML同事直接吐槽“千万别用YAML表达税法逻辑”。
  • s表达式/Prolog语法优雅,但工具链封闭。Lisp爱好者狂欢,跨语言协作寸步难行。

有意思的是,作者曾半开玩笑写进设计文档:“考虑迁移到s表达式”。直到他用一行bash震撼自己:

cat facts.xml | xpath -q -e '//Fact/@path' | grep -o '/[^"]*' | fzf

XPath+grep+fzf,60行脚本实现交互式事实搜索。团队成员纷纷基于XML快速开发调试工具——因为XML能“无痛”转成Prolog、JSON、自定义格式。
通用数据表示的价值,在于此:创新精力留给业务,而非格式战争

反转:闭源巨头早有同款,但IRS选择开源

商业软件TurboTax母公司Intuit,2020年就发布“税务知识图谱”白皮书。但代码闭源,公众无法验证。
而IRS的Fact Graph——开源、公有领域、全民可审
作者特意强调:

“别用TWE的XML配置直接报税!它只用于预扣估算(名字已说明一切)。”
但这份透明,恰恰戳中公众对税务系统的信任痛点。

余韵:技术没有新旧,只有合适与否

XML不是银弹。作者坦承:它仍有优化空间(比如简化“被减数/减数”的嵌套)。
但核心启示尖锐:
当我们在“新潮格式”间内卷时,是否忽略了场景本质?税法这种规则庞杂、需全民可验证的领域,“笨重”的清晰,是否比“简洁”的模糊更珍贵
下次当你嫌弃XML时,不妨想想:在需要跨平台协作、高可审计性的硬核场景里,这个“老将”或许正默默扛着最重的担子。

AI配图

【qwen3-max-2026-01-23锐评】:全网嘲XML时,IRS用开源项目撕掉“过时”标签——技术选型不是追新竞赛,而是用最低成本解决核心问题的务实哲学。

参考链接:
https://unplannedobsolescence.com/blog/xml-cheap-dsl/