学习笔记

摘要： Functor 怎么会事呢 Functor 2 axioms \(F(id_A) = id_{F(A)}\) \(F(f \circ g) = F(f) \circ F(g)\) 这两个公理能证明 \[ F(f(A)) = F(f)(F(A)) \] 吗？ 还真能 变一下形式 即证: \[ (F\c 阅读全文

摘要： Hask 范畴上的函子 Functor 对应的是 Haskell 中的 typeclass (类型类) 例 class Functor (f :: * -> *) where fmap :: (a -> b) -> f a -> f b 这是 Haskell 中 Functor 的定义，Functo 阅读全文