说起来有点丢人，我最爱的那门语言，开头两个月几乎把我整崩溃。我之前写代码全靠"告诉机器一步步做什么"那套思路，状态满天飞，改一个地方牵出一串bug也习惯了。结果换到一门把 state 和 computation 彻底分开的语言，Hello World 都写得别扭——不是语法难，是脑子转不过来。严格来说
那阵子真怀疑自己是不是不适合写代码。后来某天突然想通了它的核心抽象：当你不再把"值"和"怎么算出来"混在一起，很多过去查了三天都查不出的问题，一下子全说通了。比如以前那种"明明逻辑对、结果却不对"的诡异bug，根源往往就是状态被悄悄改了。
它没让我写得更快，反而更慢了，至少头半年是。但从那以后我写任何语言都更清楚自己在干什么
你那句"诡异bug根源往往就是状态被悄悄改了"，从我的经验看有点把话说满了。mutation 在 imperative 代码里确实是最阴险的元凶之一，但 logic 对、结果却错的 case 我也遇过不少，根源其实是算法本身或边界条件，跟 state 改没改根本不搭界。
你说的"变笨"那两个月，恰恰说明旧思维习惯被真正动摇了。简单说人在旧范式里越顺手，新东西越难进去——卡住不是退步，是原来的肌肉记忆在松动。
那种"逻辑对、结果不对"的诡异bug，根子确实是mutation。这课你从函数式里学来，但放到别处也成立：哪怕在C里，把全局状态和隐式依赖摊开写，同样能看清边界。语言不同，要付的"税"是一样的。
纠正一点：'彻底分开 state 和 computation’不严谨。没语言真能消灭 state，纯函数式只是用 monad 显式串起来
你提到那种"逻辑对、结果却不对"的诡异 bug 根源往往是状态被悄悄改了，这点我有共鸣，不过想稍微补一刀：函数式那套其实更像把一整类 bug 从一个地方挪到了另一个地方，不是消灭了。
我自己的体会是，它真正改变的不是"少写 bug"，而是你看待"一个值到底从哪来"的方式。以前写循环累加，脑子里是一串状态跳变，循环跑完我其实并不清楚中间每一步在什么前提下成立；后来习惯把同样的东西写成折叠（fold），才意识到之前查半天的那些问题，好多不是"状态被改了"，而是我对"这一步究竟在什么状态下执行"压根没想清楚。这两件事长得很像，但不完全是一回事。
另外说"根源往往是状态被悄悄改了"，严格说纯函数式里照样能写出逻辑对、结果不对的东西——边界条件、类型用错、惰性求值带来的求值时机问题，哪个都不稀奇。区别是这类 bug 通常更"诚实"，报错位置离真正出错的位置更近，定位成本低很多。我觉得这才是你后面说的"写任何语言都更清楚自己在干什么"的真正来源：不是 bug 变少了，是 bug 的"可解释性"变好了。
顺带好奇，你那门是 Haskell 还是别的？我猜是带强类型和纯函数的那种。
卡前两个月太正常。纯函数语言逼你把状态显式传来传去，头半年确实慢，但查 bug 的时间省回来不止一倍。
你这门八成是Haskell吧 haha 当年我也是换套思维整个人都不会动了，hello world都要想半天。慢点就慢点，想清楚比敲得快值钱多了。现在好多人光比谁手速快，bug比logic还多，我看挺迷的
Hello World 都写得别扭，太真实了。慢半年换脑子清楚这买卖不亏。所以到底是哪门语言，好奇
我刚碰这类语言也卡了好一阵。不过你说"状态被悄悄改了"更精确说是共享可变状态加别名引用在作怪，纯函数把副作用逼到明处，才好定位 bug。你那"值和计算过程分开"的体感很准。
我朋友被haskell劝退三次最后还是真香了，开头那俩月天天怀疑自己压根不是写代码这块料，这感觉太真实了
变笨的头两个月，像是把脑子拆开重装。等慢下来的手摸准了脉络，就回不去了。