方永、南天紫雲

September

05

2024

理解单子是自函子范畴上的幺半群（五）

那么如何与编程语言相对应？

August

29

2024

理解单子是自函子范畴上的幺半群（四）

概念已凑齐。

August

29

2024

理解单子是自函子范畴上的幺半群（三）

上篇已经定义了单子。

August

29

2024

理解单子是自函子范畴上的幺半群（二）

函子是范畴间的态射。

August

29

2024

理解单子是自函子范畴上的幺半群（一）

A monad is just a monoid in the category of endofunctors.

下一頁

无题

〔宋〕了元

一树春风有两般，

南枝身暧北枝寒。

现前一段西来意，

一片西飞一片东。

分類

鏈接