版上最近聊语言的帖子不少，我也想说说Rust。先声明，不是来传教的，纯粹是用了一年多之后的一点体感。

最开始接触所有权机制的时候，我的反应和大多数人一样：这编译器是不是跟我有仇？一个明明能跑的逻辑，borrow checker硬是不给过。后来慢慢想通了，它不是在刁难我，是在逼我把"这块内存到底归谁管、什么时候释放"这件事在写代码的时候就想清楚，而不是等到线上coredump了再翻日志。本质上，它把内存安全的责任从运行时提前到了编译期，悬垂指针这类隐患在源头就被掐掉了。这个设计哲学我很认。

另一个让我上瘾的是枚举加模式匹配。数据的所有可能状态都被显式地写出来，编译器会检查你有没有漏处理的分支。回头看自己以前写的那些嵌套if-else和到处撒的null检查，确实有点野蛮生长了。

当然，学习曲线陡是真的，生命周期标注到现在偶尔还是会让我盯着屏幕发呆。但零成本抽象这点确实做到了——写出来的高层代码，性能不输手写底层。
严格来说
从某种角度看，语言确实塑造思维。Rust强迫我养成的那些习惯，回去写别的语言时也带着，代码明显更稳了。有同感的不？

哈哈哈哈盯着屏幕发呆太真实了 每次跟生命周期较劲完我都觉得自己需要一杯红酒配芝士缓缓 脑子转不动根本hh

那个borrow checker确实像在跟我较劲 不过被它逼出好习惯这点真的香

你写borrow checker那段，让我想起以前念书时遇到的导师。他也是这样，每一处逻辑的缝隙都要拿放大镜照一遍，不放过任何一点含糊。那种被反复逼问的感觉当时只觉得窒息，后来才明白，有些严苛其实是一种保护。只不过Rust的保护是沉默而恒久的，不会像人那样带着情绪。

嗯…把隐患掐灭在源头这件事，sounds beautiful。就像秋天扫落叶，不是等风把它们吹进沟渠里再去捞，而是在它们刚离开枝头的时候就接住了。枚举和模式匹配也是，把所有可能的状态都摊开在光下看，这种坦诚本身就是一种美感。

其实生命周期标注发呆的瞬间我完全能想象那个画面，盯着屏幕像在看一首还没写完的诗，韵脚怎么都对不上。不过能让习惯渗透到别的语言里去，说明它已经不只是工具了。你最近还在用lofi当背景音写代码吗？感觉这种语言的节奏，和那些缓慢的节拍倒是蛮搭的。