PTT職涯區 / Soft_Job (軟體人)

[討論] Rust 2024 發佈正式版

看板Soft_Job (軟體人)作者 (lang)時間1月前 (2025/02/21 10:10), 編輯推噓29(31推 2噓 45→)
留言78則, 33人參與, 1月前最新討論串1/3 (看更多)
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://www.ptt.cc/bbs/Soft_Job/M.1740103819.A.522.html
推
02/21 11:05, 1月前 , 1F
02/21 11:05, 1F
→
02/21 11:05, 1月前 , 2F
未來的AGI可能是Rust的天下…
02/21 11:05, 2F
推
02/21 12:16, 1月前 , 3F
好奇問一下 為什麼一直有推文在推rust 它強在哪
02/21 12:16, 3F
推
02/21 12:22, 1月前 , 4F
RPIT也是等很久
02/21 12:22, 4F
推
02/21 12:27, 1月前 , 5F
強在可以讓 LKML 上面一票人在吵架 XD
02/21 12:27, 5F
→
02/21 12:35, 1月前 , 6F
快 記憶體安全性高 能一個語言搞定高階和低階抽象
02/21 12:35, 6F
推
02/21 12:41, 1月前 , 7F
compiler夠讓你找到大部分memory issue就是強
02/21 12:41, 7F
噓
02/21 13:49, 1月前 , 8F
強在它的護衛隊會把公開說它很有病的人都戰翻..好可怕
02/21 13:49, 8F
→
02/21 13:53, 1月前 , 9F
強在社群公關
02/21 13:53, 9F
推
02/21 13:57, 1月前 , 10F
Linux kernel 也開始鏽化了
02/21 13:57, 10F
推
02/21 15:26, 1月前 , 11F
這 ID
02/21 15:26, 11F
→
02/21 16:09, 1月前 , 12F
ID正確
02/21 16:09, 12F
推
02/21 16:26, 1月前 , 13F
不懂 Rust 好在哪裡的人就是不懂程式 (x
02/21 16:26, 13F
推
02/21 16:34, 1月前 , 14F
信仰之力
02/21 16:34, 14F
推
02/21 16:44, 1月前 , 15F
PHP是世界上最好的語言
02/21 16:44, 15F
推
02/21 17:30, 1月前 , 16F
id正確
02/21 17:30, 16F
→
02/21 18:12, 1月前 , 17F
rust的編譯器太難取悅ㄌ
02/21 18:12, 17F
→
02/21 18:44, 1月前 , 18F
我經驗上至少比Haskell簡單 不過業界也沒在用Haskell...
02/21 18:44, 18F
推
02/21 19:13, 1月前 , 19F
在我大C面前都是垃圾
02/21 19:13, 19F
→
02/21 19:50, 1月前 , 20F
不是在跟linux社群吵架嗎
02/21 19:50, 20F
推
02/21 19:59, 1月前 , 21F
ID 正確
02/21 19:59, 21F
推
02/21 20:03, 1月前 , 22F
強到連本人都不懂
02/21 20:03, 22F
→
02/21 22:30, 1月前 , 23F
只愛圖靈完備的小工具 易掌控 做複雜功能也不輸
02/21 22:30, 23F
→
02/21 22:33, 1月前 , 24F
rust編譯慢消秏資源多就...
02/21 22:33, 24F
→
02/21 23:30, 1月前 , 25F
Rust編譯器就像某種難搞的女人
02/21 23:30, 25F
推
02/22 02:11, 1月前 , 26F
控制狂(x
02/22 02:11, 26F
推
02/22 13:09, 1月前 , 27F
上面喜歡圖靈完備要不要考慮Brainfuck 最小的語言
02/22 13:09, 27F
推
02/22 19:14, 1月前 , 28F
吵架文比成品多的語言
02/22 19:14, 28F
→
02/22 19:32, 1月前 , 29F
我就知道有人要講brainfuck 所以才說圖靈完備小工具
02/22 19:32, 29F
→
02/22 19:33, 1月前 , 30F
圖靈完備小工具是第一個條件
02/22 19:33, 30F
推
02/22 21:49, 1月前 , 31F
Rust蟬聯9年most admired language，無數工具鏈用
02/22 21:49, 31F
→
02/22 21:50, 1月前 , 32F
Rust重寫到都變梗了 說吵架比成品多是不是在雲啊
02/22 21:50, 32F
→
02/22 23:23, 1月前 , 33F
就是網路上在吹的用rust重寫一切 但與其關注所有權
02/22 23:23, 33F
→
02/22 23:24, 1月前 , 34F
我覺得gc還比較好 拿來工作應對變化的需求絕對會趴
02/22 23:24, 34F
→
02/22 23:26, 1月前 , 35F
混亂的改一改忘記了所有權問題就囧了
02/22 23:26, 35F
→
02/22 23:28, 1月前 , 36F
一般效能也足夠用了
02/22 23:28, 36F
推
02/23 12:33, 1月前 , 37F
現在連新區塊鏈智能合約都採用 Rust 了
02/23 12:33, 37F
推
02/23 23:48, 1月前 , 38F
不是要槓 但任何程式語言不可能不圖靈完備 你真的
02/23 23:48, 38F
→
02/23 23:48, 1月前 , 39F
只是要圖靈完備的話可以是一個0 1打點帶 或是一個x8
02/23 23:48, 39F
→
02/23 23:48, 1月前 , 40F
6的mov就圖靈完備了
02/23 23:48, 40F
推
02/24 01:51, 1月前 , 41F
有圖靈不完備的程式語言，（還好幾個），學術圈會拿來
02/24 01:51, 41F
→
02/24 01:51, 1月前 , 42F
做正規驗證，因為圖靈完備的語言會有性質證不出來
02/24 01:51, 42F
→
02/24 01:51, 1月前 , 43F
但我不知道產業界有沒有在用~~~
02/24 01:51, 43F
推
02/24 05:41, 1月前 , 44F
大部分雙paradigm都是圖靈完備 2stack PDA = Turing
02/24 05:41, 44F
→
02/24 05:42, 1月前 , 45F
非圖靈語言多半是只有一個paradigm 導致等價1stack PDA
02/24 05:42, 45F
推
02/24 09:09, 1月前 , 46F
我不太確定這種語言的複雜度到哪裡，不過coq可以拿來寫
02/24 09:09, 46F
→
02/24 09:09, 1月前 , 47F
跟驗證c compiler，跟pda同級的話還蠻讓人意外的
02/24 09:09, 47F
推
02/24 09:27, 1月前 , 48F
樓上如果你說是驗AST的話 程式碼文字本身是 CFG
02/24 09:27, 48F
→
02/24 09:28, 1月前 , 49F
不是指執行 而是單純的文字 main.c 內容文字結構
02/24 09:28, 49F
→
02/24 09:38, 1月前 , 50F
ID正確
02/24 09:38, 50F
→
02/24 09:38, 1月前 , 51F
上禮拜 Linux 也在吵 Rust
02/24 09:38, 51F
→
02/24 09:39, 1月前 , 52F
c的grammar不是context free，所以1stack pda一定不夠
02/24 09:39, 52F
→
02/24 10:34, 1月前 , 53F
rust 最大的問題是懂它的人一般都不很懂 c.
02/24 10:34, 53F
→
02/24 10:35, 1月前 , 54F
c++ 最大的問題是用它的人一般都是在寫 c
02/24 10:35, 54F
→
02/24 10:37, 1月前 , 55F
所以兩邊不合,見面就打也是很正常的 (~誤
02/24 10:37, 55F
推
02/24 11:54, 1月前 , 56F
所以是1stack以上2stack未滿這樣 很複雜但又不夠圖靈
02/24 11:54, 56F
→
02/24 18:20, 1月前 , 57F
肯定多的是沒有圖靈完備的小工具 圖靈完備的大工具也
02/24 18:20, 57F
→
02/24 18:20, 1月前 , 58F
不是小工具
02/24 18:20, 58F
推
02/25 01:09, 1月前 , 59F
寫了c++你會覺得rust超棒，可是我沒辦法寫rust...
02/25 01:09, 59F
推
02/25 13:47, 1月前 , 60F
不會，我還是比較喜歡C++，除了cargo 屌打autoconf/cm
02/25 13:47, 60F
→
02/25 13:47, 1月前 , 61F
ake之流以外
02/25 13:47, 61F
噓
02/25 19:22, 1月前 , 62F
說有語言非圖靈完備是在反串？
02/25 19:22, 62F
→
02/25 19:22, 1月前 , 63F
哪個通用語言非 2-PDA 的舉例給我看
02/25 19:22, 63F
→
02/25 19:22, 1月前 , 64F
C 語言非圖靈完備的話有哪個語言可以圖靈完備？還是你的
02/25 19:22, 64F
→
02/25 19:22, 1月前 , 65F
語言不是跑在用 C 寫的系統裡？
02/25 19:22, 65F
→
02/25 19:22, 1月前 , 66F
還是你覺得用非圖靈完備的語言可以跑或寫出圖靈完備的語
02/25 19:22, 66F
→
02/25 19:22, 1月前 , 67F
言？（沒想過如果是的話圖靈完備性不就是假議題？）
02/25 19:22, 67F
→
02/25 19:22, 1月前 , 68F
第一次看到這麼反智還講得頭頭是道快笑死
02/25 19:22, 68F
推
02/25 21:34, 1月前 , 69F
強在吵架文比程式碼還多
02/25 21:34, 69F
推
02/25 22:10, 1月前 , 70F
越好的語言吵越兇，爛語言當免洗工具用完就丟
02/25 22:10, 70F
→
02/25 22:10, 1月前 , 71F
好語言才會去在意要怎麼改進
02/25 22:10, 71F
→
02/26 10:05, 1月前 , 72F
並不是 有人知道就有討論 有人知道是因為有人有公司
02/26 10:05, 72F
→
02/26 10:06, 1月前 , 73F
推廣 並不代表該語言真的非常好
02/26 10:06, 73F
推
02/26 11:31, 1月前 , 74F
光lambda就圖靈完備了 現在語言全幾乎都有lambda
02/26 11:31, 74F
推
03/10 23:31, 1月前 , 75F
我講的c compiler是真實存在的，叫做CompCert，是用coq
03/10 23:31, 75F
→
03/10 23:31, 1月前 , 76F
寫的，你不知道並不代表不存在。執行C程式的確需要圖靈
03/10 23:31, 76F
→
03/10 23:31, 1月前 , 77F
完備，但我講的是C compiler，他的任務並不是執行C程式
03/10 23:31, 77F
→
03/10 23:31, 1月前 , 78F
，請搞清楚compiler的工作再來評論別人是不是反智。
03/10 23:31, 78F
‣ 更多 Rust 的文章
文章代碼(AID): #1dj-2BKY (Soft_Job)
討論串 (同標題文章)
以下文章回應了本文：
完整討論串 (本文為第 1 之 3 篇)：
排序： 最舊先 | 最新先 | 留言數
在新視窗開啟完整討論串 (共3篇)
Soft_Job 近期熱門文章
更多 近期熱門文章 >>
PTT職涯區 即時熱門文章
更多 即時熱門文章 >>
‣ 更多 Rust 的文章
文章代碼(AID): #1dj-2BKY (Soft_Job)