- 主题:现在大学和中学还有教Pascal语言的吗？
这是著名的delphi/bcb吹
【 在 yuanmo (栗子~~一毛一公斤) 的大作中提到: 】
: 你自己抱缺守残也就罢了，就别说啥“适合教育”这种话了，你这叫误人子弟。
:
:
: 【 在 ooolinux 的大作中提到: 】
--
FROM 61.242.131.*
毛线的生命力，别被楼主忽悠了
这帖子里说不定有些人是用过Turbo Pascal 1.0的，哈哈
【 在 loulinzheng 的大作中提到: 】
: 学习了，原来还是有生命力的，大学里提倡自学了吧
--
修改:z16166 FROM 123.115.128.*
FROM 123.115.128.*
pascal咋不和汇编比，哈哈
【 在 hgoldfish 的大作中提到: 】
: pascal 还是比较先进的，各种功能都剥离到库。
: 而 basic，直接把 cls 这种语句都放到语言里面了。还有 print 的格式也规定得很死。虽然简单，但不是长久发展的好语言。
:
--
FROM 123.115.128.*
你再喷也没用。楼主发这些Delphi/BCB的东西不是一天两天了，也不是一个帖子两个帖子了，哈哈
【 在 yuanmo 的大作中提到: 】
: 哈哈哈哈，典型的遗老就是这种思维模式，就这么一点点可怜的水平，捧着点历史垃圾堆里的东西当成宝贝，妄想着还能来点“教育意义”
: 都新能源车满街跑了，这里来一个兜售驴车的驾驶技巧的，十个人劝还劝不住，乐死了。
:
--
FROM 123.115.128.*
现在AI擅长搞这个，绝大部分不需要人去分析编译错误了
而且自己把握不好的C++语言特性，可以不用。
但是我选择用Rust了，因为Rust的编译器能拦住很多bug（当然不是能搞定全部bug），在AI时代这个是很有用的！
相比C/C++/Pascal啥的，Rust是适合AI时代的运行期高性能语言，毫无疑问。
【 在 ooolinux 的大作中提到: 】
: C++确实强大，也太复杂，那些模板类的复杂语法以及编译出错提示，反正我是喜欢不起来。
--
修改:z16166 FROM 123.115.128.*
FROM 123.115.128.*
那等于是要把Rust编译器已经实现的类型推导（生命周期）/borrow check/sync+send，还有各种对应的库封装，这些靠严格的逻辑推导的证明活儿，都让AI通过概率模型去完成。
【 在 hgoldfish 的大作中提到: 】
: 不知道 AI 啥时候能够看速看穿 c++ 代码中的问题。
: 按说应该是可以的。
: C++ 也是有最佳生命周期管理方案的。
: ...................
--
FROM 123.115.128.*
这些“晦涩”、“丑陋”的东西（包括C++的很多MPL技法）对人来说可能是问题，对AI来说是小意思，所以说Rust适合AI时代。
不施加限制，就会象C/C++那样自由度过大、范式太多，必须要靠专家制定的coding discipline/best practice来引导（但不是强制）。
Haskell/Rust，施加约束后，可以做一些严格的自动求解、判定，有点机器证明的路子
没有更好的出现之前，Rust就是最合适的，哈哈
【 在 hgoldfish 的大作中提到: 】
: 但看起来太不方便了。rust 代码里面混杂着太多无效信息。
: 我虽然吐槽 c++，但是 rust 太丑了，毫无美感，这种语言注定是个中间形态语言。
:
--
FROM 123.115.128.*
Rust现在也是一堆人在写和看啊，不光是AI在写和看
只能说你这种有“洁癖”的没在写和看，哈哈
【 在 hgoldfish 的大作中提到: 】
: 你的论断是建立在代码只给 AI 自己看，人类完全不参与编程这个基础上。
: 只要人类还看代码，rust 语法就是丑的。没有美感的代码。
: 如果是给 AI 用的编程语言，应该再发明一种更加严格的形式化验证语言。
: ...................
--
FROM 123.115.128.*
Haskell的约束可能又过于严格了，AI的概率模型也可能搞不定其中复杂的那些。
陶哲轩在推动的Lean 4则更加严格
【 在 hgoldfish 的大作中提到: 】
: 我谈论就是这个问题啊。肯定知道 Rust 好啊，有需要也会去用。
: 上面帖子是从编程语言设计者的角度来说 Rust 源代码中的多余信息太多。不是版本答案。
: 我自己在设计一门新语言。所以会思考这些东西。
: ...................
--
FROM 123.115.128.*
安全和易用是矛盾的
为了安全性，要施加更多的约束、更多的自动推导、求解，这必然会降低从人的角度来看的易用性。
不存在“安全性很高 AND 易用性也很高”的语言。最终都是在这二者之间做tradeoff。
【 在 hgoldfish 的大作中提到: 】
: 我谈论就是这个问题啊。肯定知道 Rust 好啊，有需要也会去用。
: 上面帖子是从编程语言设计者的角度来说 Rust 源代码中的多余信息太多。不是版本答案。
: 我自己在设计一门新语言。所以会思考这些东西。
: ...................
--
FROM 123.115.128.*