https://blog.rust-lang.org/2025/02/20/Rust-1.85.0.html
知道Rust这个程式语言也超过十年了，
自从1.0稳定版推出之后，
就以每三年一个大版本的方式演进，
今年则是轮到了Rust 2024
（对，因为延迟了一段时间到2025才发布）。
不过我看了一下看起来是这次最大的改动RPIT，
然后根本不知道在写什么OTZ，
只能说Rust的复杂性越来越高了......
啊对了Future也进Prelude了～

https://i.imgur.com/F80chgp.png未来的AGI可能是Rust的天下…

好奇问一下 为什么一直有推文在推rust 它强在哪

RPIT也是等很久

强在可以让 LKML 上面一票人在吵架 XD

快 内存安全性高 能一个语言搞定高阶和低阶抽象

compiler够让你找到大部分memory issue就是强

强在它的护卫队会把公开说它很有病的人都战翻..好可怕

强在社群公关

Linux kernel 也开始锈化了

这 ID

ID正确

不懂 Rust 好在哪里的人就是不懂程式 (x

信仰之力

PHP是世界上最好的语言

id正确

rust的编译器太难取悦ㄌ

我经验上至少比Haskell简单 不过业界也没在用Haskell...

在我大C面前都是垃圾

不是在跟linux社群吵架吗

ID 正确

强到连本人都不懂

只爱图灵完备的小工具 易掌控 做复杂功能也不输rust编译慢消秏资源多就...

Rust编译器就像某种难搞的女人

控制狂(x

上面喜欢图灵完备要不要考虑Brainfuck 最小的语言

吵架文比成品多的语言

我就知道有人要讲brainfuck 所以才说图灵完备小工具图灵完备小工具是第一个条件

Rust蝉联9年most admired language，无数工具链用Rust重写到都变梗了 说吵架比成品多是不是在云啊

就是网络上在吹的用rust重写一切 但与其关注所有权我觉得gc还比较好 拿来工作应对变化的需求绝对会趴混乱的改一改忘记了所有权问题就囧了一般效能也足够用了

现在连新区块链智能合约都采用 Rust 了

不是要杠 但任何程式语言不可能不图灵完备 你真的只是要图灵完备的话可以是一个0 1打点带 或是一个x86的mov就图灵完备了

有图灵不完备的程式语言，（还好几个），学术圈会拿来做正规验证，因为图灵完备的语言会有性质证不出来但我不知道产业界有没有在用~~~

大部分双paradigm都是图灵完备 2stack PDA = Turing非图灵语言多半是只有一个paradigm 导致等价1stack PDA

我不太确定这种语言的复杂度到哪里，不过coq可以拿来写跟验证c compiler，跟pda同级的话还蛮让人意外的

楼上如果你说是验AST的话 程式码文字本身是 CFG不是指执行 而是单纯的文字 main.c 内容文字结构

ID正确上礼拜 Linux 也在吵 Rust

c的grammar不是context free，所以1stack pda一定不够

rust 最大的问题是懂它的人一般都不很懂 c.c++ 最大的问题是用它的人一般都是在写 c所以两边不合,见面就打也是很正常的 (~误

所以是1stack以上2stack未满这样 很复杂但又不够图灵

肯定多的是没有图灵完备的小工具 图灵完备的大工具也不是小工具

写了c++你会觉得rust超棒，可是我没办法写rust...

不会，我还是比较喜欢C++，除了cargo 屌打autoconf/cmake之流以外

说有语言非图灵完备是在反串？哪个通用语言非 2-PDA 的举例给我看C 语言非图灵完备的话有哪个语言可以图灵完备？还是你的语言不是跑在用 C 写的系统里？还是你觉得用非图灵完备的语言可以跑或写出图灵完备的语言？（没想过如果是的话图灵完备性不就是假议题？）第一次看到这么反智还讲得头头是道快笑死

强在吵架文比程式码还多

越好的语言吵越凶，烂语言当免洗工具用完就丢好语言才会去在意要怎么改进

并不是 有人知道就有讨论 有人知道是因为有人有公司推广 并不代表该语言真的非常好

光lambda就图灵完备了 现在语言全几乎都有lambda

我讲的c compiler是真实存在的，叫做CompCert，是用coq写的，你不知道并不代表不存在。执行C程式的确需要图灵完备，但我讲的是C compiler，他的任务并不是执行C程式，请搞清楚compiler的工作再来评论别人是不是反智。