→ jobintan: 未來的AGI可能是Rust的天下… 02/21 11:05
推 zyxx: 好奇問一下 為什麼一直有推文在推rust 它強在哪 02/21 12:16
推 godman362: RPIT也是等很久 02/21 12:22
推 Kroner: 維他命C 02/23 12:33推 Bencrie: 強在可以讓 LKML 上面一票人在吵架 XD 02/21 12:27
→ Rust: 快 記憶體安全性高 能一個語言搞定高階和低階抽象 02/21 12:35
推 wulouise: compiler夠讓你找到大部分memory issue就是強 02/21 12:41
推 Chricey: 綜合維他命 02/23 23:48噓 freeunixer: 強在它的護衛隊會把公開說它很有病的人都戰翻..好可怕 02/21 13:49
→ stepnight: 強在社群公關 02/21 13:53
推 g36maid: Linux kernel 也開始鏽化了 02/21 13:57
推 Kroner: uc2功效 02/24 01:51推 safe: 這 ID 02/21 15:26
→ ybite: ID正確 02/21 16:09
推 CoNsTaR: 不懂 Rust 好在哪裡的人就是不懂程式 (x 02/21 16:26
推 Kroner: GABA 02/24 09:09推 shadow0326: 信仰之力 02/21 16:34
推 abccbaandy: PHP是世界上最好的語言 02/21 16:44
推 kill2233000: id正確 02/21 17:30
推 Kroner: 瑪卡推薦 02/24 09:28→ LipaCat5566: rust的編譯器太難取悅ㄌ 02/21 18:12
→ Rust: 我經驗上至少比Haskell簡單 不過業界也沒在用Haskell... 02/21 18:44
推 Matz: 在我大C面前都是垃圾 02/21 19:13
推 Kroner: 益生菌 02/24 09:39→ s12358972: 不是在跟linux社群吵架嗎 02/21 19:50
推 goldie: ID 正確 02/21 19:59
推 YYYero: 強到連本人都不懂 02/21 20:03
推 Chricey: 苦瓜胜肽副作用 02/24 10:37→ superpandal: 只愛圖靈完備的小工具 易掌控 做複雜功能也不輸 02/21 22:30
→ superpandal: rust編譯慢消秏資源多就... 02/21 22:33
→ yam276: Rust編譯器就像某種難搞的女人 02/21 23:30
推 Kroner: 維他命c 推薦 02/24 18:20推 Litfal: 控制狂(x 02/22 02:11
推 KanzakiHAria: 上面喜歡圖靈完備要不要考慮Brainfuck 最小的語言 02/22 13:09
推 gino0717: 吵架文比成品多的語言 02/22 19:14
推 Kroner: 苦瓜胜肽功效 02/25 13:47→ superpandal: 我就知道有人要講brainfuck 所以才說圖靈完備小工具 02/22 19:32
→ superpandal: 圖靈完備小工具是第一個條件 02/22 19:33
推 fantasychese: Rust蟬聯9年most admired language，無數工具鏈用 02/22 21:49
推 Kroner: 益生菌 02/25 19:22→ fantasychese: Rust重寫到都變梗了 說吵架比成品多是不是在雲啊 02/22 21:50
→ superpandal: 就是網路上在吹的用rust重寫一切 但與其關注所有權 02/22 23:23
→ superpandal: 我覺得gc還比較好 拿來工作應對變化的需求絕對會趴 02/22 23:24
推 Chricey: 屈臣氏瑪卡推薦 02/25 19:22→ superpandal: 混亂的改一改忘記了所有權問題就囧了 02/22 23:26
→ superpandal: 一般效能也足夠用了 02/22 23:28
推 shter: 現在連新區塊鏈智能合約都採用 Rust 了 02/23 12:33
推 qwerasdf6102: 不是要槓 但任何程式語言不可能不圖靈完備 你真的 02/23 23:48
→ qwerasdf6102: 只是要圖靈完備的話可以是一個0 1打點帶 或是一個x8 02/23 23:48
→ qwerasdf6102: 6的mov就圖靈完備了 02/23 23:48
推 linlin110: 有圖靈不完備的程式語言，（還好幾個），學術圈會拿來 02/24 01:51
→ linlin110: 做正規驗證，因為圖靈完備的語言會有性質證不出來 02/24 01:51
→ linlin110: 但我不知道產業界有沒有在用~~~ 02/24 01:51
推 PosetMage: 大部分雙paradigm都是圖靈完備 2stack PDA = Turing 02/24 05:41
→ PosetMage: 非圖靈語言多半是只有一個paradigm 導致等價1stack PDA 02/24 05:42
推 linlin110: 我不太確定這種語言的複雜度到哪裡，不過coq可以拿來寫 02/24 09:09
→ linlin110: 跟驗證c compiler，跟pda同級的話還蠻讓人意外的 02/24 09:09
推 PosetMage: 樓上如果你說是驗AST的話 程式碼文字本身是 CFG 02/24 09:27
→ PosetMage: 不是指執行 而是單純的文字 main.c 內容文字結構 02/24 09:28
→ abc0922001: ID正確 02/24 09:38
→ abc0922001: 上禮拜 Linux 也在吵 Rust 02/24 09:38
→ linlin110: c的grammar不是context free，所以1stack pda一定不夠 02/24 09:39
→ freeunixer: rust 最大的問題是懂它的人一般都不很懂 c. 02/24 10:34
→ freeunixer: c++ 最大的問題是用它的人一般都是在寫 c 02/24 10:35
→ freeunixer: 所以兩邊不合,見面就打也是很正常的 (~誤 02/24 10:37
推 PosetMage: 所以是1stack以上2stack未滿這樣 很複雜但又不夠圖靈 02/24 11:54
→ superpandal: 肯定多的是沒有圖靈完備的小工具 圖靈完備的大工具也 02/24 18:20
→ superpandal: 不是小工具 02/24 18:20
推 wulouise: 寫了c++你會覺得rust超棒，可是我沒辦法寫rust... 02/25 01:09
推 windows2k: 不會，我還是比較喜歡C++，除了cargo 屌打autoconf/cm 02/25 13:47
→ windows2k: ake之流以外 02/25 13:47
噓 CoNsTaR: 說有語言非圖靈完備是在反串？ 02/25 19:22
→ CoNsTaR: 哪個通用語言非 2-PDA 的舉例給我看 02/25 19:22
→ CoNsTaR: C 語言非圖靈完備的話有哪個語言可以圖靈完備？還是你的 02/25 19:22
→ CoNsTaR: 語言不是跑在用 C 寫的系統裡？ 02/25 19:22
→ CoNsTaR: 還是你覺得用非圖靈完備的語言可以跑或寫出圖靈完備的語 02/25 19:22
→ CoNsTaR: 言？（沒想過如果是的話圖靈完備性不就是假議題？） 02/25 19:22
→ CoNsTaR: 第一次看到這麼反智還講得頭頭是道快笑死 02/25 19:22
推 tonytonyjan: 強在吵架文比程式碼還多 02/25 21:34
推 CoNsTaR: 越好的語言吵越兇，爛語言當免洗工具用完就丟 02/25 22:10
→ CoNsTaR: 好語言才會去在意要怎麼改進 02/25 22:10
→ superpandal: 並不是 有人知道就有討論 有人知道是因為有人有公司 02/26 10:05
→ superpandal: 推廣 並不代表該語言真的非常好 02/26 10:06
推 KanzakiHAria: 光lambda就圖靈完備了 現在語言全幾乎都有lambda 02/26 11:31
推 linlin110: 我講的c compiler是真實存在的，叫做CompCert，是用coq 03/10 23:31
→ linlin110: 寫的，你不知道並不代表不存在。執行C程式的確需要圖靈 03/10 23:31
→ linlin110: 完備，但我講的是C compiler，他的任務並不是執行C程式 03/10 23:31
→ linlin110: ，請搞清楚compiler的工作再來評論別人是不是反智。 03/10 23:31