Haskell的约束可能又过于严格了，AI的概率模型也可能搞不定其中复杂的那些。

陶哲轩在推动的Lean 4则更加严格

【 在 hgoldfish 的大作中提到: 】
: 我谈论就是这个问题啊。肯定知道 Rust 好啊，有需要也会去用。
: 上面帖子是从编程语言设计者的角度来说 Rust 源代码中的多余信息太多。不是版本答案。
: 我自己在设计一门新语言。所以会思考这些东西。
: ...................
--
FROM 123.115.128.*