作者Rust (lang)
看板Soft_Job
标题[讨论] Rust 2024 发布正式版
时间Fri Feb 21 10:10:17 2025
https://blog.rust-lang.org/2025/02/20/Rust-1.85.0.html
知道Rust这个程式语言也超过十年了，
自从1.0稳定版推出之後，
就以每三年一个大版本的方式演进，
今年则是轮到了Rust 2024
（对，因为延迟了一段时间到2025才发布）。
不过我看了一下看起来是这次最大的改动RPIT，
然後根本不知道在写什麽OTZ，
只能说Rust的复杂性越来越高了......
啊对了Future也进Prelude了～
--
※ 发信站: 批踢踢实业坊(ptt.cc), 来自: 123.241.91.165 (台湾)
※ 文章网址: https://webptt.com/cn.aspx?n=bbs/Soft_Job/M.1740103819.A.522.html
2F：→ jobintan: 未来的AGI可能是Rust的天下… 02/21 11:05
3F：推 zyxx: 好奇问一下 为什麽一直有推文在推rust 它强在哪 02/21 12:16
4F：推 godman362: RPIT也是等很久 02/21 12:22
5F：推 Bencrie: 强在可以让 LKML 上面一票人在吵架 XD 02/21 12:27
6F：→ Rust: 快 记忆体安全性高 能一个语言搞定高阶和低阶抽象 02/21 12:35
7F：推 wulouise: compiler够让你找到大部分memory issue就是强 02/21 12:41
8F：嘘 freeunixer: 强在它的护卫队会把公开说它很有病的人都战翻..好可怕 02/21 13:49
9F：→ stepnight: 强在社群公关 02/21 13:53
10F：推 g36maid: Linux kernel 也开始锈化了 02/21 13:57
11F：推 safe: 这 ID 02/21 15:26
12F：→ ybite: ID正确 02/21 16:09
13F：推 CoNsTaR: 不懂 Rust 好在哪里的人就是不懂程式 (x 02/21 16:26
14F：推 shadow0326: 信仰之力 02/21 16:34
15F：推 abccbaandy: PHP是世界上最好的语言 02/21 16:44
16F：推 kill2233000: id正确 02/21 17:30
17F：→ LipaCat5566: rust的编译器太难取悦ㄌ 02/21 18:12
18F：→ Rust: 我经验上至少比Haskell简单 不过业界也没在用Haskell... 02/21 18:44
19F：推 Matz: 在我大C面前都是垃圾 02/21 19:13
20F：→ s12358972: 不是在跟linux社群吵架吗 02/21 19:50
21F：推 goldie: ID 正确 02/21 19:59
22F：推 YYYero: 强到连本人都不懂 02/21 20:03
23F：→ superpandal: 只爱图灵完备的小工具 易掌控 做复杂功能也不输 02/21 22:30
24F：→ superpandal: rust编译慢消秏资源多就... 02/21 22:33
25F：→ yam276: Rust编译器就像某种难搞的女人 02/21 23:30
26F：推 Litfal: 控制狂(x 02/22 02:11
27F：推 KanzakiHAria: 上面喜欢图灵完备要不要考虑Brainfuck 最小的语言 02/22 13:09
28F：推 gino0717: 吵架文比成品多的语言 02/22 19:14
29F：→ superpandal: 我就知道有人要讲brainfuck 所以才说图灵完备小工具 02/22 19:32
30F：→ superpandal: 图灵完备小工具是第一个条件 02/22 19:33
31F：推 fantasychese: Rust蝉联9年most admired language，无数工具链用 02/22 21:49
32F：→ fantasychese: Rust重写到都变梗了 说吵架比成品多是不是在云啊 02/22 21:50
33F：→ superpandal: 就是网路上在吹的用rust重写一切 但与其关注所有权 02/22 23:23
34F：→ superpandal: 我觉得gc还比较好 拿来工作应对变化的需求绝对会趴 02/22 23:24
35F：→ superpandal: 混乱的改一改忘记了所有权问题就囧了 02/22 23:26
36F：→ superpandal: 一般效能也足够用了 02/22 23:28
37F：推 shter: 现在连新区块链智能合约都采用 Rust 了 02/23 12:33
38F：推 qwerasdf6102: 不是要杠 但任何程式语言不可能不图灵完备 你真的 02/23 23:48
39F：→ qwerasdf6102: 只是要图灵完备的话可以是一个0 1打点带 或是一个x8 02/23 23:48
40F：→ qwerasdf6102: 6的mov就图灵完备了 02/23 23:48
41F：推 linlin110: 有图灵不完备的程式语言，（还好几个），学术圈会拿来 02/24 01:51
42F：→ linlin110: 做正规验证，因为图灵完备的语言会有性质证不出来 02/24 01:51
43F：→ linlin110: 但我不知道产业界有没有在用~~~ 02/24 01:51
44F：推 PosetMage: 大部分双paradigm都是图灵完备 2stack PDA = Turing 02/24 05:41
45F：→ PosetMage: 非图灵语言多半是只有一个paradigm 导致等价1stack PDA 02/24 05:42
46F：推 linlin110: 我不太确定这种语言的复杂度到哪里，不过coq可以拿来写 02/24 09:09
47F：→ linlin110: 跟验证c compiler，跟pda同级的话还蛮让人意外的 02/24 09:09
48F：推 PosetMage: 楼上如果你说是验AST的话 程式码文字本身是 CFG 02/24 09:27
49F：→ PosetMage: 不是指执行 而是单纯的文字 main.c 内容文字结构 02/24 09:28
50F：→ abc0922001: ID正确 02/24 09:38
51F：→ abc0922001: 上礼拜 Linux 也在吵 Rust 02/24 09:38
52F：→ linlin110: c的grammar不是context free，所以1stack pda一定不够 02/24 09:39
53F：→ freeunixer: rust 最大的问题是懂它的人一般都不很懂 c. 02/24 10:34
54F：→ freeunixer: c++ 最大的问题是用它的人一般都是在写 c 02/24 10:35
55F：→ freeunixer: 所以两边不合,见面就打也是很正常的 (~误 02/24 10:37
56F：推 PosetMage: 所以是1stack以上2stack未满这样 很复杂但又不够图灵 02/24 11:54
57F：→ superpandal: 肯定多的是没有图灵完备的小工具 图灵完备的大工具也 02/24 18:20
58F：→ superpandal: 不是小工具 02/24 18:20
59F：推 wulouise: 写了c++你会觉得rust超棒，可是我没办法写rust... 02/25 01:09
60F：推 windows2k: 不会，我还是比较喜欢C++，除了cargo 屌打autoconf/cm 02/25 13:47
61F：→ windows2k: ake之流以外 02/25 13:47
62F：嘘 CoNsTaR: 说有语言非图灵完备是在反串？ 02/25 19:22
63F：→ CoNsTaR: 哪个通用语言非 2-PDA 的举例给我看 02/25 19:22
64F：→ CoNsTaR: C 语言非图灵完备的话有哪个语言可以图灵完备？还是你的 02/25 19:22
65F：→ CoNsTaR: 语言不是跑在用 C 写的系统里？ 02/25 19:22
66F：→ CoNsTaR: 还是你觉得用非图灵完备的语言可以跑或写出图灵完备的语 02/25 19:22
67F：→ CoNsTaR: 言？（没想过如果是的话图灵完备性不就是假议题？） 02/25 19:22
68F：→ CoNsTaR: 第一次看到这麽反智还讲得头头是道快笑死 02/25 19:22
69F：推 tonytonyjan: 强在吵架文比程式码还多 02/25 21:34
70F：推 CoNsTaR: 越好的语言吵越凶，烂语言当免洗工具用完就丢 02/25 22:10
71F：→ CoNsTaR: 好语言才会去在意要怎麽改进 02/25 22:10
72F：→ superpandal: 并不是 有人知道就有讨论 有人知道是因为有人有公司 02/26 10:05
73F：→ superpandal: 推广 并不代表该语言真的非常好 02/26 10:06
74F：推 KanzakiHAria: 光lambda就图灵完备了 现在语言全几乎都有lambda 02/26 11:31
75F：推 linlin110: 我讲的c compiler是真实存在的，叫做CompCert，是用coq 03/10 23:31
76F：→ linlin110: 写的，你不知道并不代表不存在。执行C程式的确需要图灵 03/10 23:31
77F：→ linlin110: 完备，但我讲的是C compiler，他的任务并不是执行C程式 03/10 23:31
78F：→ linlin110: ，请搞清楚compiler的工作再来评论别人是不是反智。 03/10 23:31