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

[winchang]

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

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

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

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

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

[adskhf]

看你发的（ Monad ，Free Monad 啥的）这也不需要 category theory 啊，这不是函数式语言 Scala/Haskell 必学内容吗，我不会 category theory 也会啊

[winchang]

有没有 Monad ，Free Monad 方面的实践，拜学一下？ @adskhf

[TWorldIsNButThis]

@winchang free monad 不清楚
普通 monad 就调 api 呗
list option future result 都是 monad
和逻辑比较契合的时候很好用
不契合的时候也麻烦
所以有 for comprehension 或者 do notation 让你在限定的 block 里写 imperative 的代码自动转成 monad

[adskhf]

看你用的是 Scala ，我推荐这本 Functional Programming in Scala 偏入门，但是应该不包括 free monad

functional design and technology 也不错（但是基于 Haskell 的

[adskhf]

> functional design and technology 也不错（但是基于 Haskell 的

写错了，应该是 functional design and architecture

[iamzuoxinyu]

问一下什么叫做「免费交流」？

[Coelacanth]

吓死，还以为说的是数学上的范畴论，耸人听闻。

[Laussan]

我一开始也纳闷写代码的学范畴论干啥...

[MeatIndustry]

以前上学接触过，现在上班后觉得这种东西权当拓展阅读即好。深入理解不光自信心受到挑战同时也花费了好大时间。

[MrSheng]

吓得我赶紧查了一下 category theory —— 范畴理论，再见我要去刷 B 站了

[winchang]

@TWorldIsNButThis free monad 我现在的理解，牛逼的点是可以解耦业务逻辑 和 执行环境，是 ZIO/cat-effects 的底层原理。

[winchang]

@MeatIndustry 短期投入产出确实存疑。但这就是 fp 的门槛。

[winchang]

@MrSheng B 站有讲的明白的吗？看到了转个链接哈

[winchang]

@Laussan 这个不能苟同，写代码的啥都的学学。

[winchang]

@Coelacanth category theory 就是指数学上的范畴论，这里只是在 fp 中的部分应用。再说了 SpaceX 也没有用全，所有爱因斯坦的相对论，对吧？

[winchang]

@adskhf 老哥可以讲讲你的故事吗？是不是润过了？

[lmshl]

完全不懂犯愁论，但写了 4 年多纯函数式 + 响应式 Scala 怎么说？

[uni]

你这全都是函数式编程，跟数学上的范畴论关系不大
我个人很讨厌程序员拿数学来装逼，尤其是自己根本受过足够的数学训练的情况下谈论数学会让人很反感与厌恶
什么受过足够的数学训练？学数学的人都知道要谈论数学那开口的第一句话一定是定义……

[lookStupiToForce]

我咋觉得这玩意儿看起来怎么这么像元编程，这俩到底谁先谁后

[winchang]

@lmshl 响应式，理解起来不难的，就像 Akka 那一套。但你看 cats 那一套，就不是那么好理解。