AI提示有Hylo (Val)、Pony 和 Lobster、 Koka 语言、Lean 4 语言这些可以参考。


总结
这套名为 Flux 的语言设计：

更易懂：移除了生命周期标注，使用“可变值语义”让编程回归直觉（像修改本地变量一样简单）。

内存安全：通过编译器隐式控制所有权 + 运行时自动 COW 机制保证。

线程安全：通过“隔离区”和“消息传递”模型，彻底屏蔽了数据竞争。

无 Unsafe：底层使用代际引用技术，即使在极限性能优化场景下，也能将段错误转化为可捕获的异常。

这实际上是 Hylo (Val)、Pony 和 Lobster 等前沿研究性语言的集大成者。它在技术上是完全可行的，只是需要一个新的编译器生态来实现它。


Flux 3.0 (最终版) 必须引入一个杀手级特性：基于“感知”的自动化内存管理（Perceus-style RC + Borrow Inference）。

这是目前学术界（如 Koka 语言、Lean 4 语言）最前沿的方向，它能让代码写起来像 Python，跑起来像 Rust。


【 在 hgoldfish 的大作中提到: 】
: 是有人这么干啊。
: 印象中前几天就有类似的新闻。用 AI 来设计编程语言又快又好。
:
--
修改:z16166 FROM 61.51.229.*
FROM 61.51.229.*

AI不是会设计，是会抄，你让他设计一个新的东西，估计比较困难

【 在 hotfix 的大作中提到: 】
: 既然能写编译器, 为什么不让AI重新设计一种AI语言?
: 更接近自然语言的编程语言
: 兼具: 性能/规范/表达能力/易读易懂
:
: 【 在 hgoldfish 的大作中提到: 】
: : 要是有更好的专门针对 AI 进行设计的语言就更好了。

--发自 ismth(丝滑版)
--
FROM 114.246.239.*

你把全世界对 c++ 的抱怨全都输入给 AI，叫它改进一下。

说不定还真能搞点事情出来。

【 在 buildtolast 的大作中提到: 】
: AI不是会设计，是会抄，你让他设计一个新的东西，估计比较困难
: --发自 ismth(丝滑版)
--
FROM 112.51.42.*

确实是，我在20楼贴的，都是AI从自己肚子里的语料里搜刮出来的别的语言提出的一些现有的搞法

【 在 buildtolast 的大作中提到: 】
: AI不是会设计，是会抄，你让他设计一个新的东西，估计比较困难
:
--
FROM 61.51.229.*

有没有一种可能，世界上没有完美的编程语言？

【 在 hgoldfish 的大作中提到: 】
: 你把全世界对 c++ 的抱怨全都输入给 AI，叫它改进一下。
:
: 说不定还真能搞点事情出来。
:
: 【 在 buildtolast 的大作中提到: 】
: : AI不是会设计，是会抄，你让他设计一个新的东西，估计比较困难

--发自 ismth(丝滑版)
--
FROM 114.244.129.*