This topic created in 1256 days ago, the information mentioned may be changed or developed.
我声明了一个类型
我把这个类型变成了 Functor, Nice!
我把这个 Functor 变成了 Applicative, Nice!
我把这个 Applicative 变成 Monad, Nice!
哎，类型检查没报错唉，Nice!
哎，我写了啥来着？ Fuck!
哎，我要干啥来着？ Fuck!
用这玩意写代码的都是神仙，他奶奶的邱奇就是大罗金仙
我把这个类型变成了 Functor, Nice!
我把这个 Functor 变成了 Applicative, Nice!
我把这个 Applicative 变成 Monad, Nice!
哎，类型检查没报错唉，Nice!
哎，我写了啥来着？ Fuck!
哎，我要干啥来着？ Fuck!
用这玩意写代码的都是神仙，他奶奶的邱奇就是大罗金仙
 |
1
cmdOptionKana Nov 26, 2022
我写纯函数式的感受也差不多, 写的时候很爽, 但后续维护就很头大, 看别人写的代码也很困难, 因为太灵活了.
|
 |
2
xtreme1 Nov 26, 2022
也不一定非要用它写什么东西, 很多 PL 的文章都默认你会 Haskell, 学了还是有用的.
|
 |
5
thedrwu Nov 26, 2022 via Android
2008 年那会儿读了 real world haskell 于是用了几年，感觉跟现在的 rust 一样，很多优化的潜力没有发觉出来，monad transformer 慢得不能用
|
|
6
thedrwu Nov 26, 2022 via Android
发掘
|
 |
7
luozic Nov 26, 2022
可以把代码看看否？
|
|
8
luozic Nov 26, 2022
如果用类似 typescript +any 那种用法，啥类型检测也没用啊。
|
 |
9
amlee OP @luozic <script src="https://gist.github.com/showthesunli/6fae795355a9ec73c15fc6356ed843e3.js"></script>
|
|
10
luozic Nov 26, 2022
newtype ST a = Trans (State -> (a, State))
rev :: Num a => ST a rev = Trans (\s -> if s == Yes then (0, No) else (1, Yes)) |
 |
11
ALXG Nov 27, 2022
你看到问题以后始终处于迭代解决的动机就好了.
|
 |
12
Hawthorne Nov 27, 2022
学院派和田野派、工程派的分野还是很明显的
|
Select Language