学了一周 haskell 的感受

[amlee]

我声明了一个类型
我把这个类型变成了 Functor, Nice!
我把这个 Functor 变成了 Applicative, Nice!
我把这个 Applicative 变成 Monad, Nice!
哎，类型检查没报错唉，Nice!
哎，我写了啥来着？ Fuck!
哎，我要干啥来着？ Fuck!

用这玩意写代码的都是神仙，他奶奶的邱奇就是大罗金仙

[cmdOptionKana]

我写纯函数式的感受也差不多, 写的时候很爽, 但后续维护就很头大, 看别人写的代码也很困难, 因为太灵活了.

[xtreme1]

也不一定非要用它写什么东西, 很多 PL 的文章都默认你会 Haskell, 学了还是有用的.

[amlee]

@xtreme1 我倒不是想用 haskell 写什么，只是越来越多的语言或多或少的引入了些 FP 的思想进去，我就想了解下这玩意到底是什么。

[makelove]

@amlee 加少量 fp 思想挺好的，但我只接受象 js 界那样加点料的程度，如果真全面纯 fp 化就受不了了

[thedrwu]

2008 年那会儿读了 real world haskell 于是用了几年，感觉跟现在的 rust 一样，很多优化的潜力没有发觉出来，monad transformer 慢得不能用

[thedrwu]

发掘

[luozic]

可以把代码看看否？

[luozic]

如果用类似 typescript +any 那种用法，啥类型检测也没用啊。

[amlee]

@luozic <script src="https://gist.github.com/showthesunli/6fae795355a9ec73c15fc6356ed843e3.js"></script>

[luozic]

newtype ST a = Trans (State -> (a, State))

rev :: Num a => ST a
rev = Trans (\s -> if s == Yes then (0, No) else (1, Yes))

[ALXG]

你看到问题以后始终处于迭代解决的动机就好了.

[Hawthorne]

学院派和田野派、工程派的分野还是很明显的