你的论断是建立在代码只给 AI 自己看，人类完全不参与编程这个基础上。

只要人类还看代码，rust 语法就是丑的。没有美感的代码。

如果是给 AI 用的编程语言，应该再发明一种更加严格的形式化验证语言。

总之, rust 这种中间状态语言，不是版本答案。

【 在 z16166 的大作中提到: 】
: 这些“晦涩”、“丑陋”的东西（包括C++的很多MPL技法）对人来说可能是问题，对AI来说是小意思，所以说Rust适合AI时代。
: 不施加限制，就会象C/C++那样自由度过大、范式太多，必须要靠专家制定的coding discipline/best practice来引导（但不是强制）。
: Haskell/Rust，施加约束后，可以做一些严格的自动求解、判定，有点机器证明的路子
: ...................
--
FROM 27.152.53.*