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

[iorilu]

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

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

但现在前提不一样了

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

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

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

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

[aoyi]

不觉得新语言需要发明，而觉得 AI 无法时刻辅助这一点需要发明，类似药老 这种 24h 随身辅助，随时内部询问

[cheng6563]

直接训练生成二进制程序的模型如何？

[llsquaer]

应该是 AI 成熟之后,至少逻辑推理得分 99 之后,自我更迭出一种语言,要求需要同时满足人类阅读.

现在这么多编程语言,各有优劣.但是都没有统一的格式语法,除了静态语言外,动态语言里,就看 python 和 ts 现在能打.

所以目测 动态编程里面,应该是 python+ts 的混合体.

[cherryas]

对也不对，你说的需要 ai 生成代码的速度再快 50-100 倍。

[QS0x01]

什么开倒车，训练大语言模型就是为了能用自然语言输入。

Vibe Coding 的目标就是让任何人都能不需要付出学习成本就能写程序。包括之前用的各种框架前端框架、依赖注入框架......
都是为了降低门槛，程序员和其它高薪职业的区别就在这里，主打一个开源，绝不设计围墙。

给你标准化以后，大家又得多学习一门语言了，那还要啥 llm

[greygoo]

如果输入都是一种形式语言，那不是就是开倒车吗，如果是输出要新的语言，不太清楚你提的这些目标是否可以解决现在 ai 生成代码的痛点。

[levelworm]

其实就是用人去适应人工智能，和我的想法类似。我觉得人工智能走进家庭的前提是家庭环境适应人工智能。

[KingHL]

大模型是在模仿，而不是理解，没有海量数据的情况下，只给他语法规则，他是无法理解一门新的语言的

[subpo]

web 语言，我觉得是 ruby on rails
约定优于配置，天生的 full stack
约定优于配置的好处是把整个文档喂给 ai 后，他会怎么写代码，在哪里写代码，都是可预知的，这太牛逼了

[EscYezi]

记得 moonbit 之前宣传 ai 友好，现在官方搞 agent
https://docs.moonbitlang.cn/pilot/moonbit-pilot/getting-started.html

说起来适合 llm 的语言还得有空安全和类型安全，或者至少能

[EscYezi]

@EscYezi 手滑发出去了，至少能在 lint/编译时确保没问题。还有语言表达能力不能太弱，不然浪费 token 而且生成代码太多不好维护。感觉 ts 就很不错

[Vaspike]

以前我考虑过, 把 markdown 的语法和文件类型改一改, 但是改得越复杂就越难上手, 太简单又信息量不足

[v2er4241]

@sagnitude AI 逻辑的基础就是猜，没有你说的猜，今天就没有这么方便的 AI 。

[liuzhedash]

这种新语言的语料几乎没有，AI 怎么去掌握？
应该说从 copilot 出现的那一刻起，再也不会有新的编程语言被广泛使用了

[Ketteiron]

@EscYezi #31 schema 优先的 ts 暂时是不错的选择，没有大量类型传来传去，但还是能够保证严格的类型检查，lint 检查比其他语言强很多。

[MaxwellX]

你可以了解一下大模型的原理,我之前看过一点,他本质上还是根据前一个词预测下一个 token,基于足够大的数量级,就成为了现在的 AI,所以我感觉基于这种新创造的语言没啥优势

[sagnitude]

@klo424 所以他不能保证正确性啊，他方便不方便和我说的东西没关系，因为程序本身就是有顺序有逻辑的，不去理解真正的逻辑就没法保证正确性，也没法保证真正的效率，现在返工率和准确性都还是比较差。
语法的问题它可以去调用编译器不断地返工修正，逻辑的问题他只能靠不断地提示词修正，造成大量的资源浪费，而人类做项目是按照逻辑自顶向下的

[AEDaydreamer]

输入标准化那不是又成另一门和计算机沟通的语言了, 输出的话既然现有那么多高级语言似乎没有造新轮子的必要.

[mizuhashi]

我覺得需要有一個 spec 語言，用來表達業務模型，使得給定一個 spec ，ai 可以生成一致的實現

[xgdgsc]

https://www.stochasticlifestyle.com/chatgpt-performs-better-on-julia-than-python-and-r-for-large-language-model-llm-code-generation-why/ 已经有了，就是 Julia