为什么学了 Haskell，果然印证了 V2EX 上的 智者（忘记网名）的断论，“学了 Haskell，回不去了“, 回不去了耶。

[myid]

[bramblex]

@shyling

其实很多时候我都会手动标示类型，因为这个类型是给人看的（比如自己）……

对编译器来说，大部分他都能推导……

[ireina]

@levn 继续往下学，你会看到 Free monad 和 algebraic effects ，中间你还会尝试 finally tagless 和 readerT pattern 。参数式抽象发挥到极致就会变成 Haskell 。