我有个想法, 就是现在应该发明一种专用于大模型生成的语言

[iorilu]

现有的所谓 AI 辅助开发, 都是利用现有的语言

现有的语言, 当然目标都是让人类去编写的

但现在前提不一样了

所以我认为应该有一种新得语言, 满足以下目标

• 主要用于大模型理解, 输入, 输出
• 语言必须简单, 易懂, 关键字, 特性尽量少, 或标准化, 简单来说就是, 为了满足一个简单需求应该只有一种写法, 比如 go 只有 for 循环
• 语言必须是编译的, 强类型的, 因为由于大模型 ai 工具的原因, 可编译性语言可以大大提高模型生成正确率, 因为模型可以自己不断编译改错直到编译成功
• 语言可以比较繁琐, 但必须易读易懂 (rust 就不合格)
• 语言语法必须尽量兼容当前流行的语言或一些约定俗成的语法, 不发明新语法(rust 是反例)
• 语言的设计包括文档标准格式等, 简单说就是文档就是给模型的 prompt, 是有标准格式的, 其实就是设计文档

我判断应该很快就有大厂做这事, 隐约感觉 go 还蛮合适的, 当然肯定要经过改造

这样以后包括文档, prompt 等等都能标准化, 大模型输入输出更精准, 因为只需要考虑一种标准化语言

[realpg]

没有海量的互联网搜索资源的语言 任何 AI 都写不出代码

[achira]

什么时候可以针对语言的多种不同性能参数调教才能 one for all ，说白了就要你方便看懂，大模型理解输入输出对他来说有什么难度？反而舍弃了很多性能和简化方法《繁琐+易读懂》就是很矛盾的既要还要。不发明新语法 AI 怎么进步，AI 目前还是完全基于统计学的，没有 AI 能真正发明创造的东西。

[fwh]

https://www.moonbitlang.com/

[davin]

大多数模型输出不都是以 Markdown 格式为主么？输入的类型就多了，音视频，图像，各种格式的文本/JSON 等等

[iorilu]

@realpg 那是以前, 现在模型已经有了足够的能力

后续稍微在新语言上训练即可

标准化的语言以后必然可大幅增加模型一次性生成正确代码的能力

[showonder]

先不说怎么训练大模型掌握这种非自然语言，我觉得完全没必要创造一种语言，直接让大模型把自然语言转机器码得了，一步到位

[chandlerbing9317]

记得看过一个结论，说 AI 生成的 golang 的代码准确率很高，但生成 C++、Rust 就会差一些，可能语法都有问题

[dapang1221]

本末倒置了，你知道为什么大模型的输入是自然语言吗？因为训练数据就是自然语言。这不是刻意而为之，而是没办法的事，正因为训练数据基于自然语言，所以格式化输出及调用外部方法都是一个麻烦的事情。。。

[zealotxxxx]

你难道不知道有一个 tokenizer 这个东西吗？大哥，模型的参数都是向量矩阵好不好

[rubyacgn]

其实 Claude Opus 4.5 最擅长 JAVA, 比 GO 高很多
https://www.anthropic.com/_next/image?url=https%3A%2F%2Fwww-cdn.anthropic.com%2Fimages%2F4zrzovbb%2Fwebsite%2Fc8852ce850bf63ef8225a261f39e717453a9f128-3840x2160.png&w=3840&q=75

[allenzhangSB]

思而不学则殆

[fcvi44]

结果随着迭代发展，转过头一看妈呀这不就是 java/php/python 自然语言版吗

[NewYear]

你是不是在找 C# ？

[Gnnbb]

其实不就是 prompt 吗。标准化的 prompt ，你所谓的语言，是不是标准化后的 prompt ，然后在这基础上再更加的完善？

[johnbobby]

这种语言的发明者也应该是 AI ，AI 开发一种专门用于 AI 编写代码的语言

[1daydayde]

又一个本末倒置的？你去和前几天那哥们一起做一个吧，真的。

[XnEnokq9vkvVq4]

这就像 ai 有时候会用其他语言思考一样。继续演进下去，可能不会有新的语言，而会有类似于方言的东西出现

[iorilu]

@Gnnbb 标准化的 prompt 是输入
输出也必须是标准化的

这个都是在语言定义时候就规范好的

可以说, 这种语言的文档也必须是规范化的, 有语法的, 甚至必须经过工具验证过才行

有了规范的输入, 必然可以大大提高输出的正确性

另外之所以要一个新语言, 就是从设计上就考虑到这种语言, 主要是用来编译执行, 主要有模型输出

人只负责文档编写

[sagnitude]

想提高正确性，应该强化 ai 的逻辑思考能力，而不是靠大量代码的影子去猜

[Peiiii]

typescript 是 Agent 时代第一开发语言，不接受反驳