写代码这么些年，最让我安心的还是Haskell。不是追时髦，它学院气重得要命，但用顺了再看别的语言，总感觉在裸奔。
最毒的是纯函数式。其实数据不可变、函数没副作用，你脑子里就不必再追着一堆隐秘状态乱跑。命令式代码里十次有八次bug是某处偷偷改了共享变量，半夜给你崩一下。Haskell直接把这扇门焊死，状态没法暗搓搓地变，这类坑从源头就不存在了。
类型系统也得说一句。它的强类型不是累赘，是免费文档。函数签名摆在那，编译器基本把能错的都拦在门外，编译过常常就能跑通。新手嫌报错啰嗦，我倒觉得它在替你做code review。
惰性求值加高阶抽象也挺上头，不少算法用Haskell写，读起来跟说人话似的，几行把事讲明白。代价是性能你得自己心里有数。
作为主力撸过一阵之后，再回去写别的，总会下意识找那个"纯"的感觉。
lazy 那块我插一句。性能你心里有数没错，但更要命的是 space leak：纯函数写着，内存却悄悄涨，thunk 堆着不求值。真上过生产的最后都在跟 strictness 较劲，seq、BangPatterns 到处撒才压得住。
我后来拿 Rust 把那股"安全感"找补回来。ownership 把共享可变状态也焊死，但不是靠 lazy，靠编译期借检查。写顺了再回 C++ 才是真裸奔。
类型签名当免费文档这点没话说。改一处类型，编译器替你把上下游全标红，比 review 快十倍。Haskell 惯坏的脑子，回不去了。
十次有八次这个数字太绝对了，有出处吗？我之前读过几篇bug归因的论文，共享可变状态确实是重灾区，但"八成"这个结论得看项目类型，值得商榷。
惰性求值那段你讲轻了。纯函数焊死状态门这点是真的香，但lazy不是免费午餐——thunk堆着堆着space leak太常见，跑一半内存爆掉。这个成本比你想的重，得真动手profile才稳。
类型系统挡类型错，挡不住逻辑错。"编译过常常就能跑通"只对六成，算法写岔了它不拦你。
简单说
我大二被Haskell勾住，后来转去撸Rust。borrow checker起初烦得想砸键盘，现在写Python反而最想念它。那股"纯"的劲儿确实戒不掉 (´・ω・`)
Друг 被惯坏这词太传神 我那几个写代码朋友一个样 写完haskell看别的就满脸嫌弃哈哈
惰性求值读着是真爽，真被thunk坑过一次内存炸了之后，我做梦都怕它偷懒
你写"半夜给你崩一下"那句，我忍不住笑了一声。不过真正戳我的是最后那点——回去写别的，总下意识找那个"纯"。
这种瘾我懂，虽说不在代码里。其实人一旦在某个角落尝过彻底的清透，往后看别处，总觉得还蒙着一层灰，想伸手替它拂掉。不是矫情，是舌头记得淡的滋味，便难再吃回太咸的。
Haskell 把那扇门焊死，倒让我想起谁说过的一句话：约束不是牢笼，是让你安心起舞的边界。你们这群人，大概就是在这边界里跳得最自在的。
话说回来，惰性求值那段我存了点疑问。读着像人话，跑起来却要自己心里算账，这账到底划不划算，你拿它当主力那阵子，没被暗处的性能坑过？
你那句"状态没法暗搓搓地变"戳我心窝子了。我虽不写这玩意儿，但听着就跟过日子一个理，有些麻烦本来就是藏在那些你以为没动过的地方。怎么说呢习惯了敞亮，回头看糊弄的，真不耐烦。
你说的"焊死那扇门"，我倒觉得门并没有消失，只是 Haskell 逼着你把钥匙挂在明面上。纯函数式并没有让状态真的不存在…，它只是不许状态再偷偷溜进房间——你想要副作用，得老老实实写进 IO 或者 State 的类型里，等于在自己的代码上签了字。所以那种安心感，与其说是"没有麻烦"，不如说是"麻烦都被迫摊开在灯下"。这点挺妙的，它把不诚实这件事从源头上变难了。
类型签名像一纸契约，比文档更狠的地方在于它没法撒谎。文档可以写一套做一套，类型不会。你引的那句"免费 code review"我深以为然，编译器冷着脸替你把每句承诺都核对一遍，有时候比人类同事可靠。
至于被惯坏之后回不去，我常觉得这像习惯了某种秩序，再走进菜市场，满地都是没标价、会自己变质的货。那种赤裸感未必是语言的错，是你已经尝过"说清楚"的甜头，再也忍不下糊里糊涂。
你后来有把这种"纯"的癖好带去别的场景么，还是只在屏幕里认这一块净土。
你那个"裸奔"的比喻真把我看乐了。被纯函数式惯出依赖症的人，回去写别的语言改个共享变量，手估计都得抖一下。说真的这上瘾劲儿跟戒糖一个道理，明知道别的语言也能凑合干活，就是回不去了。
当年被monad劝退的人路过 但你说的"编译过就像做了遍code review"这句我属实想裱墙上
你那句"焊死"真形象。不过我回去写别的倒没那么想找纯的感觉，有时候能随手改个状态反而挺省心。
年轻的时候我也迷过一阵"干净"的写法，觉得把乱七八糟的状态都管住，天下就太平了。后来跟人搭伙弄项目才咂摸出味来。对面是个写命令式写了快二十年的老伙计，我看着他满篇会变的量，急得直想替他改。结果人家那摊活跑得稳稳当当，半夜也没崩过。
你说 Haskell 把那扇门焊死、从源头没了坑，这话我信。可门焊死了，外头那地界你还得出去，I/O、性能、还有一帮不用这语言的人等着跟你搭班子。被惯出"纯"的口味之后，最大的别扭倒不是写不好别的，是老忍不住想把旁人都拽进你那个干净世界里头。
工具是拿来使的，别反过来被它拿捏住就行。
你讲惰性求值那段，我倒想起个反过来的事。纯函数把隐秘状态焊死了，可惰性有时候又从边上给你留了道缝——空间泄漏最磨人，写顺手的人反而容易栽…，内存悄悄涨上去才觉出不对。不过能写出读起来像人话的代码，那份踏实感确实别的语言替不了，被惯坏也惯得值。