这是一个创建于 762 天前的主题，其中的信息可能已经有所发展或是发生改变。
我声明了一个类型
我把这个类型变成了 Functor, Nice!
我把这个 Functor 变成了 Applicative, Nice!
我把这个 Applicative 变成 Monad, Nice!
哎，类型检查没报错唉，Nice!
哎，我写了啥来着？ Fuck!
哎，我要干啥来着？ Fuck!
用这玩意写代码的都是神仙，他奶奶的邱奇就是大罗金仙
我把这个类型变成了 Functor, Nice!
我把这个 Functor 变成了 Applicative, Nice!
我把这个 Applicative 变成 Monad, Nice!
哎，类型检查没报错唉，Nice!
哎，我写了啥来着？ Fuck!
哎，我要干啥来着？ Fuck!
用这玩意写代码的都是神仙，他奶奶的邱奇就是大罗金仙
 |
1
cmdOptionKana 2022-11-26 16:02:29 +08:00
我写纯函数式的感受也差不多, 写的时候很爽, 但后续维护就很头大, 看别人写的代码也很困难, 因为太灵活了.
|
 |
2
xtreme1 2022-11-26 16:09:03 +08:00
也不一定非要用它写什么东西, 很多 PL 的文章都默认你会 Haskell, 学了还是有用的.
|
 |
3
amlee OP @xtreme1 我倒不是想用 haskell 写什么，只是越来越多的语言或多或少的引入了些 FP 的思想进去，我就想了解下这玩意到底是什么。
|
 |
5
thedrwu 2022-11-26 17:22:33 +08:00 via Android
2008 年那会儿读了 real world haskell 于是用了几年，感觉跟现在的 rust 一样，很多优化的潜力没有发觉出来，monad transformer 慢得不能用
|
|
6
thedrwu 2022-11-26 17:22:51 +08:00 via Android
发掘
|
 |
7
luozic 2022-11-26 18:19:29 +08:00
可以把代码看看否？
|
|
8
luozic 2022-11-26 18:20:29 +08:00
如果用类似 typescript +any 那种用法，啥类型检测也没用啊。
|
|
9
amlee OP @luozic <script src="https://gist.github.com/showthesunli/6fae795355a9ec73c15fc6356ed843e3.js"></script>
|
|
10
luozic 2022-11-26 18:51:24 +08:00
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 2022-11-27 17:24:35 +08:00
你看到问题以后始终处于迭代解决的动机就好了.
|
 |
12
Hawthorne 2022-11-27 18:23:48 +08:00
学院派和田野派、工程派的分野还是很明显的
|
Select Language