现有的所谓 AI 辅助开发, 都是利用现有的语言
现有的语言, 当然目标都是让人类去编写的
但现在前提不一样了
所以我认为应该有一种新得语言, 满足以下目标
- 主要用于大模型理解, 输入, 输出
- 语言必须简单, 易懂, 关键字, 特性尽量少, 或标准化, 简单来说就是, 为了满足一个简单需求应该只有一种写法, 比如 go 只有 for 循环
- 语言必须是编译的, 强类型的, 因为由于大模型 ai 工具的原因, 可编译性语言可以大大提高模型生成正确率, 因为模型可以自己不断编译改错直到编译成功
- 语言可以比较繁琐, 但必须易读易懂 (rust 就不合格)
- 语言语法必须尽量兼容当前流行的语言或一些约定俗成的语法, 不发明新语法(rust 是反例)
- 语言的设计包括文档标准格式等, 简单说就是文档就是给模型的 prompt, 是有标准格式的, 其实就是设计文档
我判断应该很快就有大厂做这事, 隐约感觉 go 还蛮合适的, 当然肯定要经过改造
这样以后包括文档, prompt 等等都能标准化, 大模型输入输出更精准, 因为只需要考虑一种标准化语言
 | 1 realpg PRO 没有海量的互联网搜索资源的语言 任何 AI 都写不出代码 |
 | 2 achira 7 小时 17 分钟前 什么时候可以针对语言的多种不同性能参数调教才能 one for all ，说白了就要你方便看懂，大模型理解输入输出对他来说有什么难度？反而舍弃了很多性能和简化方法《繁琐+易读懂》就是很矛盾的既要还要。不发明新语法 AI 怎么进步，AI 目前还是完全基于统计学的，没有 AI 能真正发明创造的东西。 |
 | 3 fwh 7 小时 14 分钟前 |
 | 4 davin 7 小时 11 分钟前 大多数模型输出不都是以 Markdown 格式为主么？输入的类型就多了，音视频，图像，各种格式的文本/JSON 等等 |
 | 6 showonder 7 小时 9 分钟前 先不说怎么训练大模型掌握这种非自然语言，我觉得完全没必要创造一种语言，直接让大模型把自然语言转机器码得了，一步到位 |
 | 7 chandlerbing9317 7 小时 8 分钟前 记得看过一个结论，说 AI 生成的 golang 的代码准确率很高，但生成 C++、Rust 就会差一些，可能语法都有问题 |
 | 8 dapang1221 7 小时 5 分钟前 本末倒置了，你知道为什么大模型的输入是自然语言吗？因为训练数据就是自然语言。这不是刻意而为之，而是没办法的事，正因为训练数据基于自然语言，所以格式化输出及调用外部方法都是一个麻烦的事情。。。 |
 | 9 zealotxxxx 7 小时 5 分钟前 你难道不知道有一个 tokenizer 这个东西吗？大哥，模型的参数都是向量矩阵好不好 |
 | 10 rubyacgn 6 小时 57 分钟前  1 |
 | 11 allenzhangSB 6 小时 54 分钟前 1 思而不学则殆 |
 | 12 fcvi44 6 小时 31 分钟前 结果随着迭代发展，转过头一看妈呀这不就是 java/php/python 自然语言版吗 |
 | 13 NewYear 6 小时 22 分钟前 你是不是在找 C# ？ |
 | 14 Gnnbb 6 小时 22 分钟前 其实不就是 prompt 吗。标准化的 prompt ，你所谓的语言，是不是标准化后的 prompt ，然后在这基础上再更加的完善？ |
 | 15 johnbobby 6 小时 22 分钟前 这种语言的发明者也应该是 AI ，AI 开发一种专门用于 AI 编写代码的语言 |
 | 16 1daydayde 6 小时 19 分钟前 又一个本末倒置的？你去和前几天那哥们一起做一个吧，真的。 |
 | 17 XnEnokq9vkvVq4 6 小时 15 分钟前 via iPhone 这就像 ai 有时候会用其他语言思考一样。继续演进下去，可能不会有新的语言，而会有类似于方言的东西出现 |
 | 18 iorilu OP @Gnnbb 标准化的 prompt 是输入 输出也必须是标准化的 这个都是在语言定义时候就规范好的 可以说, 这种语言的文档也必须是规范化的, 有语法的, 甚至必须经过工具验证过才行 有了规范的输入, 必然可以大大提高输出的正确性 另外之所以要一个新语言, 就是从设计上就考虑到这种语言, 主要是用来编译执行, 主要有模型输出 人只负责文档编写 |
 | 19 sagnitude 5 小时 56 分钟前 想提高正确性，应该强化 ai 的逻辑思考能力，而不是靠大量代码的影子去猜 |
 | 20 Peiiii 5 小时 33 分钟前 via Android typescript 是 Agent 时代第一开发语言，不接受反驳 |
 | 21 aoyi 5 小时 33 分钟前 不觉得新语言需要发明，而觉得 AI 无法时刻辅助这一点需要发明，类似药老 这种 24h 随身辅助，随时内部询问 |
 | 22 cheng6563 5 小时 24 分钟前 直接训练生成二进制程序的模型如何？ |
 | 23 llsquaer 5 小时 20 分钟前 应该是 AI 成熟之后,至少逻辑推理得分 99 之后,自我更迭出一种语言,要求需要同时满足人类阅读. 现在这么多编程语言,各有优劣.但是都没有统一的格式语法,除了静态语言外,动态语言里,就看 python 和 ts 现在能打. 所以目测 动态编程里面,应该是 python+ts 的混合体. |
 | 24 cherryas 5 小时 7 分钟前 对也不对，你说的需要 ai 生成代码的速度再快 50-100 倍。 |
 | 25 QS0x01 4 小时 44 分钟前 什么开倒车，训练大语言模型就是为了能用自然语言输入。 Vibe Coding 的目标就是让任何人都能不需要付出学习成本就能写程序。包括之前用的各种框架前端框架、依赖注入框架...... 都是为了降低门槛，程序员和其它高薪职业的区别就在这里，主打一个开源，绝不设计围墙。 给你标准化以后，大家又得多学习一门语言了，那还要啥 llm |
 | 26 greygoo 4 小时 27 分钟前 如果输入都是一种形式语言，那不是就是开倒车吗，如果是输出要新的语言，不太清楚你提的这些目标是否可以解决现在 ai 生成代码的痛点。 |
 | 27 levelworm 4 小时 27 分钟前 via iPhone 其实就是用人去适应人工智能，和我的想法类似。我觉得人工智能走进家庭的前提是家庭环境适应人工智能。 |
 | 28 KingHL 3 小时 36 分钟前 大模型是在模仿，而不是理解，没有海量数据的情况下，只给他语法规则，他是无法理解一门新的语言的 |
 | 29 subpo 3 小时 35 分钟前 web 语言，我觉得是 ruby on rails 约定优于配置，天生的 full stack 约定优于配置的好处是把整个文档喂给 ai 后，他会怎么写代码，在哪里写代码，都是可预知的，这太牛逼了 |
 | 30 EscYezi 2 小时 59 分钟前 via iPhone 记得 moonbit 之前宣传 ai 友好，现在官方搞 agent https://docs.moonbitlang.cn/pilot/moonbit-pilot/getting-started.html 说起来适合 llm 的语言还得有空安全和类型安全，或者至少能 |
| 31 EscYezi 2 小时 54 分钟前 via iPhone @EscYezi 手滑发出去了，至少能在 lint/编译时确保没问题。还有语言表达能力不能太弱，不然浪费 token 而且生成代码太多不好维护。感觉 ts 就很不错 |
 | 32 Vaspike 2 小时 41 分钟前 以前我考虑过, 把 markdown 的语法和文件类型改一改, 但是改得越复杂就越难上手, 太简单又信息量不足 |
 | 34 liuzhedash 2 小时 17 分钟前 这种新语言的语料几乎没有，AI 怎么去掌握？ 应该说从 copilot 出现的那一刻起，再也不会有新的编程语言被广泛使用了 |
 | 35 Ketteiron 2 小时 15 分钟前 @EscYezi #31 schema 优先的 ts 暂时是不错的选择，没有大量类型传来传去，但还是能够保证严格的类型检查，lint 检查比其他语言强很多。 |
 | 36 MaxwellX 2 小时 14 分钟前 你可以了解一下大模型的原理,我之前看过一点,他本质上还是根据前一个词预测下一个 token,基于足够大的数量级,就成为了现在的 AI,所以我感觉基于这种新创造的语言没啥优势 |
| 37 sagnitude 2 小时 12 分钟前 @klo424 所以他不能保证正确性啊，他方便不方便和我说的东西没关系，因为程序本身就是有顺序有逻辑的，不去理解真正的逻辑就没法保证正确性，也没法保证真正的效率，现在返工率和准确性都还是比较差。 语法的问题它可以去调用编译器不断地返工修正，逻辑的问题他只能靠不断地提示词修正，造成大量的资源浪费，而人类做项目是按照逻辑自顶向下的 |
 | 38 AEDaydreamer 1 小时 44 分钟前 输入标准化那不是又成另一门和计算机沟通的语言了, 输出的话既然现有那么多高级语言似乎没有造新轮子的必要. |
 | 39 mizuhashi 1 小时 20 分钟前 我得需要有一 spec 言，用表模型，使得定一 spec ，ai 可以生成一致的 |
 | 40 xgdgsc 1 分钟前 via Android |
Select Language