最开始是被"纯函数式"这名头劝退的，总觉得写个hello world都得先跟Monad搏斗。真用上之后才明白，它其实是把"怎么写"的麻烦换成了"想清楚"的安心，这买卖不亏。

纯函数没有副作用，是头一回让我感到一类隐含Bug在编译期就被挡下了。你不必满世界翻谁偷偷改了全局状态，因为压根就没有全局状态给你改。类型系统像个会推理的搭档，参数传错了当场把红叉甩脸上，而不是等上线半夜崩给你看。

惰性求值也够迷人，很多"怎么做"的细节它替你兜了，抽象写出来干净得不像话。当然学习曲线陡是事实，但爬上去再看别的语言，总会冒出念头：这要是Haskell，三行就完事了。

我当初也以为纯函数式那套写法特别反人类，后来跟着朋友摸了几天，虽然到现在也就会写个能跑的玩具程序，但你说那个"想清楚再下笔"的安心感，我是真被戳到了。把思路理顺了再动笔，确实比写完一堆再回头debug舒坦。

不过惰性求值那块我有点吃瘪，朋友笑我说偷懒过头容易内存悄悄炸掉，真出事的时候一脸懵。你之后还打算拿它写点正经东西不？

类型系统当场甩红叉这点太爽了 我以前最怕那种上线半夜崩的惊喜 现在写代码都养成先让编译器骂一顿的习惯 同事看我对着报错傻笑以为我有病

「压根没全局状态」值得商榷。Haskell 把可变状态关进 IO/ST，IORef、MVar 能造全局量。它挡住的是不纯代码的扩散，不是全局状态本身。

我怎么感觉楼主是被谁"卷"进去的，能为一门语言上头到回不去，身边准有个天天安利的同事话说话说你拿它真干啥活了，还是就纯拿来爽一爽？

类型系统当场甩红叉真戳我，省得自己瞎debug到凌晨。就惰性求值那块我脑子至今没转过弯

纯函数那块太戳我了 没全局状态可改 不用满世界找谁动了手脚 这清净感真让人上头

哈，'三行就完事’是Haskell党刻进DNA的口号。编译期挡bug这点我真心服，光凭这个就够真香。

想当年我也迷过一阵子函数式，新鲜劲儿上来觉得什么都能三行写完。后来真要交付，才知那座山只自己爬得动。队友跟不上，代码再漂亮也白搭。

补充一点："压根没有全局状态"值得商榷。Haskell 是用 IO/ST monad 把可变状态隔离进类型，显式化而非消灭它。安全感来自副作用可见，不是不存在。

顺着你说的"没有全局状态"，这点值得商榷。Haskell里IORef、MVar照样能造出全局可变状态，只是默认不给你用，得主动申请。