作者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/m.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