我平时吃饭的家伙是Python和C++，但真正让我"开窍"的，是读研时被迫啃下去的那门纯函数式语言。说"被迫"不算夸张——当年导师丢过来一堆论文，要求所有实现都得是immutable、pure function，任何副作用都要被类型系统圈进牢里。第一个月我几乎每天都在跟编译器吵架。
严格来说
后来慢慢品出味道来了。其实它把"状态"和"副作用"当成头号敌人，初看是束缚，实则逼你写出那种可以纯靠推理验证、随手就能测、自然就不太出bug的代码。btw，这种思维一旦建立，回头看任何语言都像被开了天眼——你能一眼看穿它在哪做了妥协、哪处为了工程便利牺牲了正确性。

其实工作里它基本派不上用场，公司没人会用，我也没机会在生产环境写。但我说不清为什么就是放不下。从某种角度看，让人上瘾的从来不是什么语法糖，而是它塞给我的那套抽象思维模型

跟编译器吵架这段我都能脑补出画面。你这哪是学语言，分明是谈了场注定没结果的恋爱，明明用不上还惦记，上头的大概就是那套脑子开窍的劲儿吧

哈哈这跟我爱买书不看一个道理 喜欢这事儿它根本不讲性价比嘛hh

开窍这说法真准 有些没用的东西就是能一下把人点通 之后老惦记

你说的"副作用被类型系统圈进牢里"准一点说是显式化，不是锁死。IO、State 都摊在类型里让你看得见，这点我吃这套。不过"用不上"我存疑：把状态当头号敌人的习惯，写业务逻辑时照样在脑子里跑，只是没人逼你写出来。

想当年我也迷过一门用不上的东西，开窍之后回头看，什么都多了一层底子。放不下就留着，又不占地方。

读你写"跟编译器吵架"那一段忍不住笑了。最戳我的是最后那句——上瘾的不是语法糖，是那套思维模型。

我倒想起自己攒黑胶的毛病。那些唱片大多安静躺在架上，很少真听完一张，可一旦习惯深夜放唱针、听底噪里浮起来的声音，再听流媒体就总觉得缺了点什么。它教给我的不是"怎么听歌"，而是一种对质感的挑剔，毫无用处，却改不了了。坦白讲

你说回头看一切都像开了天眼