- 主题:现在大学和中学还有教Pascal语言的吗？
但看起来太不方便了。rust 代码里面混杂着太多无效信息。
我虽然吐槽 c++，但是 rust 太丑了，毫无美感，这种语言注定是个中间形态语言。
AI 时代来了，如果能让 AI 去帮忙完成大规模的模式识别，找到出错的模式。干嘛还要用编程语言去折腾呢。
【 在 z16166 的大作中提到: 】
: 那等于是要把Rust编译器已经实现的类型推导（生命周期）/borrow check/sync+send，还有各种对应的库封装，这些靠严格的逻辑推导的证明活儿，都让AI通过概率模型去完成。
--
修改:hgoldfish FROM 27.152.53.*
FROM 27.152.53.*
你的论断是建立在代码只给 AI 自己看，人类完全不参与编程这个基础上。
只要人类还看代码，rust 语法就是丑的。没有美感的代码。
如果是给 AI 用的编程语言，应该再发明一种更加严格的形式化验证语言。
总之, rust 这种中间状态语言，不是版本答案。
【 在 z16166 的大作中提到: 】
: 这些“晦涩”、“丑陋”的东西（包括C++的很多MPL技法）对人来说可能是问题，对AI来说是小意思，所以说Rust适合AI时代。
: 不施加限制，就会象C/C++那样自由度过大、范式太多，必须要靠专家制定的coding discipline/best practice来引导（但不是强制）。
: Haskell/Rust，施加约束后，可以做一些严格的自动求解、判定，有点机器证明的路子
: ...................
--
FROM 27.152.53.*
我谈论就是这个问题啊。肯定知道 Rust 好啊，有需要也会去用。
上面帖子是从编程语言设计者的角度来说 Rust 源代码中的多余信息太多。不是版本答案。
我自己在设计一门新语言。所以会思考这些东西。
AI 是概率统计不确定，需要建立在牢固的确定性上面。所以下个 AI 专用编程语言，说不定是 haskell 这一票类型系统约束更加严格的语言。最好是专门的形式化验证编程语言。
【 在 z16166 的大作中提到: 】
: Rust现在也是一堆人在写和看啊，不光是AI在写和看
: 只能说你这种有“洁癖”的没在写和看，哈哈
--
修改:hgoldfish FROM 27.152.53.*
FROM 27.152.53.*
我觉得 AI 以后应该可以理解。现在的 LLM 还是不够大，上下文还是太短。再发展个三年，参数达到 1E params, 有效上下文能够达到 1T tokens 时，搞这些还是手拿把掐。
【 在 z16166 的大作中提到: 】
: Haskell的约束可能又过于严格了，AI的概率模型也可能搞不定其中复杂的那些。
: 陶哲轩在推动的Lean 4则更加严格
--
FROM 27.152.53.*
是的。进入 web 2.0 时代之后，开发电脑软件变成了无利可图的生意。
再加上 360 这些软件搞一下，随便一个电脑软件都被报病毒。
正经人谁还开发/发布电脑软件啊。
这个领域变成了黑产、木马的乐园。
【 在 adamhj 的大作中提到: 】
: 你这属于做梦，“没有简单好用不依赖运行时的GUI开发工具”本身就是因为桌面市场式微，在这块的投入获得产出太少，覆盖不了成本，不然为什么当年那么多GUI库现在都成了烂尾楼？活的好的都是有跨平台能力的；所以你说的根本不是技术问题，而是商业问题；
--
修改:hgoldfish FROM 27.152.53.*
FROM 27.152.53.*
开发一种 AI 专用的编程语言啊。可以尽可能的多复杂，添加各种约束条件。完全不用考虑易用性。
现在 AI 动不动产生几百万行代码，人类完全看不过来。还要易用性干嘛。
【 在 z16166 的大作中提到: 】
: 安全和易用是矛盾的
: 为了安全性，要施加更多的约束、更多的自动推导、求解，这必然会降低从人的角度来看的易用性。
: 不存在“安全性很高 AND 易用性也很高”的语言。最终都是在这二者之间做tradeoff。
: ...................
--
FROM 27.152.53.*
编程语言和 AST 树是对应的啊。
上 AST 难道用 XML/JSON 来存储么。都不好用，不如面向 AI 的编程语言。
LISP 不就是手写 AST 树么。面向 AI 的编程语言应该也是类似于 LISP 这样的东东。所以我前面用 haskell 都比 rust 强。
【 在 Jacqueline 的大作中提到: 】
: 我觉得AI专用语言就不必拘泥文本了，可以参考王垠的意见，直接构造AST树。。。
--
FROM 27.152.53.*
不着急。现在的 LLM 上下文窗口太小了。上半年应该能普及 2M tokens 这个级别的。下半年到 64M tokens 应该可以吧？三年内能到 1B tokens 的话，你说的这些问题都不是问题了。
【 在 adamhj 的大作中提到: 】
: 你这有点想当然，AI也不是神仙，注意力机制、上下文也都是有限的，过于复杂的东西AI也hold不住；本身AI就是对生物神经网络的模拟，人会有的问题AI一样会有，无非是AI出厂就是大量资料预训练好了的，不像人还要需要花大量时间去学习；所以其实目前rust这种程度刚刚好，对人来
: 灯眩且彩粲诳山邮艿姆段В敲炊杂贏I来说一样能搞定，反正AI也不会累，写错了多修改几次的事情
--
FROM 27.152.53.*