这是一个创建于 133 天前的主题，其中的信息可能已经有所发展或是发生改变。
"江湖传言，鹅厂程序员千千万，能懂 category theory 不足百。"
当然，不懂也没什么关系。
沉浸式体验了一下，确实不好理解，维度太高，普通人不修炼个七七 49 天，一行代码都看不懂。
有耿直的朋友挑战一下不？
 |
1
adskhf 133 天前
看你发的（ Monad ，Free Monad 啥的）这也不需要 category theory 啊，这不是函数式语言 Scala/Haskell 必学内容吗，我不会 category theory 也会啊
|
 |
3
TWorldIsNButThis 133 天前 via iPhone
@winchang free monad 不清楚
普通 monad 就调 api 呗 list option future result 都是 monad 和逻辑比较契合的时候很好用 不契合的时候也麻烦 所以有 for comprehension 或者 do notation 让你在限定的 block 里写 imperative 的代码自动转成 monad |
|
4
adskhf 133 天前
看你用的是 Scala ，我推荐这本 Functional Programming in Scala 偏入门，但是应该不包括 free monad
functional design and technology 也不错（但是基于 Haskell 的 |
|
5
adskhf 133 天前
> functional design and technology 也不错（但是基于 Haskell 的
写错了，应该是 functional design and architecture |
 |
6
iamzuoxinyu 133 天前
问一下什么叫做「免费交流」？
|
 |
7
Coelacanth 133 天前 via Android  2
吓死，还以为说的是数学上的范畴论，耸人听闻。
|
 |
8
Laussan 133 天前
我一开始也纳闷写代码的学范畴论干啥...
|
 |
9
MeatIndustry 133 天前
以前上学接触过，现在上班后觉得这种东西权当拓展阅读即好。深入理解不光自信心受到挑战同时也花费了好大时间。
|
 |
10
MrSheng 132 天前
吓得我赶紧查了一下 category theory —— 范畴理论，再见我要去刷 B 站了
|
 |
11
winchang OP @TWorldIsNButThis free monad 我现在的理解，牛逼的点是可以解耦业务逻辑 和 执行环境，是 ZIO/cat-effects 的底层原理。
|
|
12
winchang OP @MeatIndustry 短期投入产出确实存疑。但这就是 fp 的门槛。
|
|
15
winchang OP @Coelacanth category theory 就是指数学上的范畴论，这里只是在 fp 中的部分应用。再说了 SpaceX 也没有用全，所有爱因斯坦的相对论，对吧？
|
 |
17
lmshl 132 天前
完全不懂犯愁论，但写了 4 年多纯函数式 + 响应式 Scala 怎么说？
|
 |
18
uni 132 天前 1
你这全都是函数式编程，跟数学上的范畴论关系不大
我个人很讨厌程序员拿数学来装逼，尤其是自己根本受过足够的数学训练的情况下谈论数学会让人很反感与厌恶 什么受过足够的数学训练？学数学的人都知道要谈论数学那开口的第一句话一定是定义…… |
 |
19
lookStupiToForce 132 天前
我咋觉得这玩意儿看起来怎么这么像元编程，这俩到底谁先谁后
|
|
23
lmshl 132 天前
@winchang 我混写 Cats-Effect + ZIO + Akka 也有几年时间了，至今不懂犯愁论，不影响我搬砖。
说实话这仨我觉得 Akka 更难理解一些，另外俩反而简单 |
|
24
lmshl 132 天前
我自封我为比较懂纯函数式 Scala 的开发者，但我想说犯愁论真不是必须的，学函数式编码和学犯愁论相比，可以说是南辕北辙了。
在 Haskell 将 Monad 概念引入之前，《 SICP 》中教授的知识也足以应付所有编码场景了。   |
|
25
winchang OP |
Select Language