PTT評價

[討論] Rust 2024 發佈正式版

看板Soft_Job標題[討論] Rust 2024 發佈正式版作者
Rust
(lang)
時間推噓25 推:26 噓:1 →:32

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 留言評論
※ 發信站: 批踢踢實業坊(ptt.cc), 來自: 123.241.91.165 (臺灣)
PTT 網址

jobintan02/21 11:05https://i.imgur.com/F80chgp.png

jobintan02/21 11:05未來的AGI可能是Rust的天下…

zyxx02/21 12:16好奇問一下 為什麼一直有推文在推rust 它強在哪

godman36202/21 12:22RPIT也是等很久

Bencrie02/21 12:27強在可以讓 LKML 上面一票人在吵架 XD

Rust02/21 12:35快 記憶體安全性高 能一個語言搞定高階和低階抽象

wulouise02/21 12:41compiler夠讓你找到大部分memory issue就是強

freeunixer02/21 13:49強在它的護衛隊會把公開說它很有病的人都戰翻..好可怕

stepnight02/21 13:53強在社群公關

g36maid02/21 13:57Linux kernel 也開始鏽化了

safe02/21 15:26這 ID

ybite02/21 16:09ID正確

CoNsTaR02/21 16:26不懂 Rust 好在哪裡的人就是不懂程式 (x

shadow032602/21 16:34信仰之力

abccbaandy02/21 16:44PHP是世界上最好的語言

kill223300002/21 17:30id正確

LipaCat556602/21 18:12rust的編譯器太難取悅ㄌ

Rust02/21 18:44我經驗上至少比Haskell簡單 不過業界也沒在用Haskell...

Matz02/21 19:13在我大C面前都是垃圾

s1235897202/21 19:50不是在跟linux社群吵架嗎

goldie02/21 19:59ID 正確

YYYero02/21 20:03強到連本人都不懂

superpandal02/21 22:30只愛圖靈完備的小工具 易掌控 做複雜功能也不輸

superpandal02/21 22:33rust編譯慢消秏資源多就...

yam27602/21 23:30Rust編譯器就像某種難搞的女人

Litfal02/22 02:11控制狂(x

KanzakiHAria02/22 13:09上面喜歡圖靈完備要不要考慮Brainfuck 最小的語言

gino071702/22 19:14吵架文比成品多的語言

superpandal02/22 19:32我就知道有人要講brainfuck 所以才說圖靈完備小工具

superpandal02/22 19:33圖靈完備小工具是第一個條件

fantasychese02/22 21:49Rust蟬聯9年most admired language,無數工具鏈用

fantasychese02/22 21:50Rust重寫到都變梗了 說吵架比成品多是不是在雲啊

superpandal02/22 23:23就是網路上在吹的用rust重寫一切 但與其關注所有權

superpandal02/22 23:24我覺得gc還比較好 拿來工作應對變化的需求絕對會趴

superpandal02/22 23:26混亂的改一改忘記了所有權問題就囧了

superpandal02/22 23:28一般效能也足夠用了

shter02/23 12:33現在連新區塊鏈智能合約都採用 Rust 了

qwerasdf610202/23 23:48不是要槓 但任何程式語言不可能不圖靈完備 你真的

qwerasdf610202/23 23:48只是要圖靈完備的話可以是一個0 1打點帶 或是一個x8

qwerasdf610202/23 23:486的mov就圖靈完備了

linlin11002/24 01:51有圖靈不完備的程式語言,(還好幾個),學術圈會拿來

linlin11002/24 01:51做正規驗證,因為圖靈完備的語言會有性質證不出來

linlin11002/24 01:51但我不知道產業界有沒有在用~~~

PosetMage02/24 05:41大部分雙paradigm都是圖靈完備 2stack PDA = Turing

PosetMage02/24 05:42非圖靈語言多半是只有一個paradigm 導致等價1stack PDA

linlin11002/24 09:09我不太確定這種語言的複雜度到哪裡,不過coq可以拿來寫

linlin11002/24 09:09跟驗證c compiler,跟pda同級的話還蠻讓人意外的

PosetMage02/24 09:27樓上如果你說是驗AST的話 程式碼文字本身是 CFG

PosetMage02/24 09:28不是指執行 而是單純的文字 main.c 內容文字結構

abc092200102/24 09:38ID正確

abc092200102/24 09:38上禮拜 Linux 也在吵 Rust

linlin11002/24 09:39c的grammar不是context free,所以1stack pda一定不夠

freeunixer02/24 10:34rust 最大的問題是懂它的人一般都不很懂 c.

freeunixer02/24 10:35c++ 最大的問題是用它的人一般都是在寫 c

freeunixer02/24 10:37所以兩邊不合,見面就打也是很正常的 (~誤

PosetMage02/24 11:54所以是1stack以上2stack未滿這樣 很複雜但又不夠圖靈

superpandal02/24 18:20肯定多的是沒有圖靈完備的小工具 圖靈完備的大工具也

superpandal02/24 18:20不是小工具

wulouise02/25 01:09寫了c++你會覺得rust超棒,可是我沒辦法寫rust...