作者:
Rust (DOG~R~0.0~)
2025-02-21 10:10:17https://blog.rust-lang.org/2025/02/20/Rust-1.85.0.html
知道Rust這個程式語言也超過十年了,
自從1.0穩定版推出之後,
就以每三年一個大版本的方式演進,
今年則是輪到了Rust 2024
(對,因為延遲了一段時間到2025才發佈)。
不過我看了一下看起來是這次最大的改動RPIT,
然後根本不知道在寫什麼OTZ,
只能說Rust的複雜性越來越高了......
啊對了Future也進Prelude了~
作者:
jobintan (Robin Artemstein)
2025-02-21 11:05:00作者:
zyxx (321)
2025-02-21 12:16:00好奇問一下 為什麼一直有推文在推rust 它強在哪
作者:
Rust (DOG~R~0.0~)
2025-02-21 12:35:00快 記憶體安全性高 能一個語言搞定高階和低階抽象
作者:
wulouise (在線上!=在電腦前)
2025-02-21 12:41:00compiler夠讓你找到大部分memory issue就是強
強在它的護衛隊會把公開說它很有病的人都戰翻..好可怕
作者:
g36maid (過膝襪學姐)
2025-02-21 13:57:00Linux kernel 也開始鏽化了
作者: safe (safe) 2025-02-21 15:26:00
這 ID
作者:
ybite (小犬/小B)
2025-02-21 16:09:00ID正確
作者:
CoNsTaR ((const *))
2025-02-21 16:26:00不懂 Rust 好在哪裡的人就是不懂程式 (x
作者: kill2233000 (kill) 2025-02-21 17:30:00
id正確
作者:
Rust (DOG~R~0.0~)
2025-02-21 18:44:00我經驗上至少比Haskell簡單 不過業界也沒在用Haskell...
作者:
Matz (妹妹C吸)
2025-02-21 19:13:00在我大C面前都是垃圾
作者: goldie (阿良) 2025-02-21 19:59:00
ID 正確
作者: YYYero (YYYero) 2025-02-21 20:03:00
強到連本人都不懂
作者: superpandal 2025-02-21 22:30:00
只愛圖靈完備的小工具 易掌控 做複雜功能也不輸rust編譯慢消秏資源多就...
作者:
yam276 ('_')
2025-02-21 23:30:00Rust編譯器就像某種難搞的女人
作者:
Litfal (Litfal)
2025-02-22 02:11:00控制狂(x
上面喜歡圖靈完備要不要考慮Brainfuck 最小的語言
作者:
gino0717 (gino0717)
2025-02-22 19:14:00吵架文比成品多的語言
作者: superpandal 2025-02-22 19:32:00
我就知道有人要講brainfuck 所以才說圖靈完備小工具圖靈完備小工具是第一個條件
Rust蟬聯9年most admired language,無數工具鏈用Rust重寫到都變梗了 說吵架比成品多是不是在雲啊
作者: superpandal 2025-02-22 23:23:00
就是網路上在吹的用rust重寫一切 但與其關注所有權我覺得gc還比較好 拿來工作應對變化的需求絕對會趴混亂的改一改忘記了所有權問題就囧了一般效能也足夠用了
作者:
shter (飛梭之影)
2025-02-23 12:33:00現在連新區塊鏈智能合約都採用 Rust 了
作者: qwerasdf6102 (eat_centrum) 2025-02-23 23:48:00
不是要槓 但任何程式語言不可能不圖靈完備 你真的只是要圖靈完備的話可以是一個0 1打點帶 或是一個x86的mov就圖靈完備了
有圖靈不完備的程式語言,(還好幾個),學術圈會拿來做正規驗證,因為圖靈完備的語言會有性質證不出來但我不知道產業界有沒有在用~~~
作者:
PosetMage (AI魔法師公會長老)
2025-02-24 05:41:00大部分雙paradigm都是圖靈完備 2stack PDA = Turing非圖靈語言多半是只有一個paradigm 導致等價1stack PDA
我不太確定這種語言的複雜度到哪裡,不過coq可以拿來寫跟驗證c compiler,跟pda同級的話還蠻讓人意外的
作者:
PosetMage (AI魔法師公會長老)
2025-02-24 09:27:00樓上如果你說是驗AST的話 程式碼文字本身是 CFG不是指執行 而是單純的文字 main.c 內容文字結構
c的grammar不是context free,所以1stack pda一定不夠
rust 最大的問題是懂它的人一般都不很懂 c.c++ 最大的問題是用它的人一般都是在寫 c所以兩邊不合,見面就打也是很正常的 (~誤
作者:
PosetMage (AI魔法師公會長老)
2025-02-24 11:54:00所以是1stack以上2stack未滿這樣 很複雜但又不夠圖靈
作者: superpandal 2025-02-24 18:20:00
肯定多的是沒有圖靈完備的小工具 圖靈完備的大工具也不是小工具
作者:
wulouise (在線上!=在電腦前)
2025-02-25 01:09:00寫了c++你會覺得rust超棒,可是我沒辦法寫rust...
不會,我還是比較喜歡C++,除了cargo 屌打autoconf/cmake之流以外
作者:
CoNsTaR ((const *))
2025-02-25 19:22:00說有語言非圖靈完備是在反串?哪個通用語言非 2-PDA 的舉例給我看C 語言非圖靈完備的話有哪個語言可以圖靈完備?還是你的語言不是跑在用 C 寫的系統裡?還是你覺得用非圖靈完備的語言可以跑或寫出圖靈完備的語言?(沒想過如果是的話圖靈完備性不就是假議題?)第一次看到這麼反智還講得頭頭是道快笑死
作者:
CoNsTaR ((const *))
2025-02-25 22:10:00越好的語言吵越兇,爛語言當免洗工具用完就丟好語言才會去在意要怎麼改進
作者: superpandal 2025-02-26 10:05:00
並不是 有人知道就有討論 有人知道是因為有人有公司推廣 並不代表該語言真的非常好
光lambda就圖靈完備了 現在語言全幾乎都有lambda
我講的c compiler是真實存在的,叫做CompCert,是用coq寫的,你不知道並不代表不存在。執行C程式的確需要圖靈完備,但我講的是C compiler,他的任務並不是執行C程式,請搞清楚compiler的工作再來評論別人是不是反智。