方永、南天紫雲

道亦有道

August
29
2024

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

概念已凑齐。

更多…

August
29
2024

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

上篇已经定义了单子。

更多…

August
29
2024

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

函子是范畴间的态射。

更多…

August
29
2024

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

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

更多…

March
31
2024

OpenWrt上SmartDNS的一个有效配置

SmartDNS功能强大，协议全面，OpenWrt上的支持也很完备， 是很多人主用的 dns server。

更多…

无题
〔宋〕 了元
一树春风有两般，
南枝身暧北枝寒。
现前一段西来意，
一片西飞一片东。
分類
鏈接

©2009-2025 方永、南天紫雲 |Powered by Zola