- 主题:现在大学和中学还有教Pascal语言的吗？
这些“晦涩”、“丑陋”的东西（包括C++的很多MPL技法）对人来说可能是问题，对AI来说是小意思，所以说Rust适合AI时代。
不施加限制，就会象C/C++那样自由度过大、范式太多，必须要靠专家制定的coding discipline/best practice来引导（但不是强制）。
Haskell/Rust，施加约束后，可以做一些严格的自动求解、判定，有点机器证明的路子
没有更好的出现之前，Rust就是最合适的，哈哈
【 在 hgoldfish 的大作中提到: 】
: 但看起来太不方便了。rust 代码里面混杂着太多无效信息。
: 我虽然吐槽 c++，但是 rust 太丑了，毫无美感，这种语言注定是个中间形态语言。
:
--
FROM 123.115.128.*
你的论断是建立在代码只给 AI 自己看，人类完全不参与编程这个基础上。
只要人类还看代码，rust 语法就是丑的。没有美感的代码。
如果是给 AI 用的编程语言，应该再发明一种更加严格的形式化验证语言。
总之, rust 这种中间状态语言，不是版本答案。
【 在 z16166 的大作中提到: 】
: 这些“晦涩”、“丑陋”的东西（包括C++的很多MPL技法）对人来说可能是问题，对AI来说是小意思，所以说Rust适合AI时代。
: 不施加限制，就会象C/C++那样自由度过大、范式太多，必须要靠专家制定的coding discipline/best practice来引导（但不是强制）。
: Haskell/Rust，施加约束后，可以做一些严格的自动求解、判定，有点机器证明的路子
: ...................
--
FROM 27.152.53.*
Rust现在也是一堆人在写和看啊，不光是AI在写和看
只能说你这种有“洁癖”的没在写和看，哈哈
【 在 hgoldfish 的大作中提到: 】
: 你的论断是建立在代码只给 AI 自己看，人类完全不参与编程这个基础上。
: 只要人类还看代码，rust 语法就是丑的。没有美感的代码。
: 如果是给 AI 用的编程语言，应该再发明一种更加严格的形式化验证语言。
: ...................
--
FROM 123.115.128.*
我谈论就是这个问题啊。肯定知道 Rust 好啊，有需要也会去用。
上面帖子是从编程语言设计者的角度来说 Rust 源代码中的多余信息太多。不是版本答案。
我自己在设计一门新语言。所以会思考这些东西。
AI 是概率统计不确定，需要建立在牢固的确定性上面。所以下个 AI 专用编程语言，说不定是 haskell 这一票类型系统约束更加严格的语言。最好是专门的形式化验证编程语言。
【 在 z16166 的大作中提到: 】
: Rust现在也是一堆人在写和看啊，不光是AI在写和看
: 只能说你这种有“洁癖”的没在写和看，哈哈
--
修改:hgoldfish FROM 27.152.53.*
FROM 27.152.53.*
Haskell的约束可能又过于严格了，AI的概率模型也可能搞不定其中复杂的那些。
陶哲轩在推动的Lean 4则更加严格
【 在 hgoldfish 的大作中提到: 】
: 我谈论就是这个问题啊。肯定知道 Rust 好啊，有需要也会去用。
: 上面帖子是从编程语言设计者的角度来说 Rust 源代码中的多余信息太多。不是版本答案。
: 我自己在设计一门新语言。所以会思考这些东西。
: ...................
--
FROM 123.115.128.*
我觉得 AI 以后应该可以理解。现在的 LLM 还是不够大，上下文还是太短。再发展个三年，参数达到 1E params, 有效上下文能够达到 1T tokens 时，搞这些还是手拿把掐。
【 在 z16166 的大作中提到: 】
: Haskell的约束可能又过于严格了，AI的概率模型也可能搞不定其中复杂的那些。
: 陶哲轩在推动的Lean 4则更加严格
--
FROM 27.152.53.*
你这属于做梦，“没有简单好用不依赖运行时的GUI开发工具”本身就是因为桌面市场式微，在这块的投入获得产出太少，覆盖不了成本，不然为什么当年那么多GUI库现在都成了烂尾楼？活的好的都是有跨平台能力的；所以你说的根本不是技术问题，而是商业问题；
【 在 Jacqueline 的大作中提到: 】
: lambda还是大概其有一个，其他就呵呵了。后视镜看，当年Anders去微软大结局就是双输。
: C#一开始定位成虚拟机语言，跟java PK，现在看是最大的败笔。用Pascal语法还是用C系
: 语法并不重要，Delphi最大的优势就是native compiler，高速编译+不依赖任何运行时。
: 如果C#一开始沿用native的思路，以Anders的功力，后来那些乱七八糟语言比如go根本
: 没有生存空间。结果Borland那帮人去了微软花了好多年整了一大沱脱裤子放屁的.net，
: Delphi自己没人手跟不上时代了只能苟延残喘。最后的大结局就是windows桌面至今没有
: 简单好用不依赖运行时的GUI开发工具，你只能捏着鼻子用微软那几个烂尾楼，或者捏着
: 鼻子给Qt交钱，或者捏着鼻子用web方案那种最好的CPU都能给你卡成狗的东东。。。
--
FROM 182.85.143.*
安全和易用是矛盾的
为了安全性，要施加更多的约束、更多的自动推导、求解，这必然会降低从人的角度来看的易用性。
不存在“安全性很高 AND 易用性也很高”的语言。最终都是在这二者之间做tradeoff。
【 在 hgoldfish 的大作中提到: 】
: 我谈论就是这个问题啊。肯定知道 Rust 好啊，有需要也会去用。
: 上面帖子是从编程语言设计者的角度来说 Rust 源代码中的多余信息太多。不是版本答案。
: 我自己在设计一门新语言。所以会思考这些东西。
: ...................
--
FROM 123.115.128.*
是的。进入 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.*