2025年7月
Haskell与范畴论
摘要： Introduction 前置知识: 听说过 A monad is a monoid in the category of endofunctors. 本文力图解释这句话为什么是数学上正确的 (但不包括人类如何可能发现这两个东西一样), 并加入一些对 Applicative functor 的讨论. 阅读全文
posted @ 2025-07-24 16:55 uwagjaynoi 阅读(48) 评论(0) 推荐(0)
2024年1月
普物力学笔记
该文被密码保护。 阅读全文
posted @ 2024-01-07 18:19 uwagjaynoi 阅读(14) 评论(0) 推荐(0)
2023年12月
鸟语1
该文被密码保护。 阅读全文
posted @ 2023-12-16 22:53 uwagjaynoi 阅读(39) 评论(0) 推荐(0)