首页 > TAG信息列表 > Hask
Hask 范畴上的函子
Hask 范畴上的函子 Functor 对应的是 Haskell 中的 typeclass (类型类) 例 class Functor (f :: * -> *) where fmap :: (a -> b) -> f a -> f b 这是 Haskell 中 Functor 的定义，Functor 映射态射的函数 fmap 没有定义。 用户自己给出 Functor instance 的 fmap 定义有没有可Hask 范畴上的函子
Hask 范畴上的函子 Functor 对应的是 Haskell 中的 typeclass (类型类) 例 class Functor (f :: * -> *) where fmap :: (a -> b) -> f a -> f b 这是 Haskell 中 Functor 的定义，Functor 映射态射的函数 fmap 没有定义。 用户自己给出 Functor instance 的 fmap 定义有没有可