据我了解,仿函数是两个类别之间的映射,例如从对象 in到where和are 类别的对象。
在 Haskell 中有Hask,其中对象是 Haskell 类型,而态射是 Haskell 函数。但是,Functor
类型类有一个函数fmap
在这些类型之间进行映射(因此它们是对象而不是类别本身):
fmap :: (a -> b) -> f a -> f b
f a
并且f b
都是Hask中的对象。这是否意味着 Haskell 中的每个实例Functor
都是一个内函子,如果不是Functor
真的代表一个函子?
我在这里想念什么?Haskell中的类型也是类别吗?