这里有没有对 category theory 信心十足的程序员？

[winchang]

"江湖传言，鹅厂程序员千千万，能懂 category theory 不足百。"

当然，不懂也没什么关系。

沉浸式体验了一下，确实不好理解，维度太高，普通人不修炼个七七 49 天，一行代码都看不懂。

有耿直的朋友挑战一下不？

这是我的版本： https://github.com/changzhiwin/fp-things

[winchang]

@uni 不装啊，纯学习。你说没关系就没关系吗，没必要拿道德绑架言论自由。

[adskhf]

@winchang 啥叫润过了

[lmshl]

@winchang 我混写 Cats-Effect + ZIO + Akka 也有几年时间了，至今不懂犯愁论，不影响我搬砖。
说实话这仨我觉得 Akka 更难理解一些，另外俩反而简单

[lmshl]

我自封我为比较懂纯函数式 Scala 的开发者，但我想说犯愁论真不是必须的，学函数式编码和学犯愁论相比，可以说是南辕北辙了。
在 Haskell 将 Monad 概念引入之前，《 SICP 》中教授的知识也足以应付所有编码场景了。

[winchang]

@lmshl 你说的不懂可能是从数学层面不懂；你说的简单可能是从应用层面来评论。

我想表述的大概是，要理解单子、自由子这些理念，是很有挑战的。

但是，确实不影响搬砖。

[winchang]

@adskhf 是不是肉翻了？