Question

我正在查看以下功能：

fmap :: (a -> b) -> f a -> f b

我希望了解'f'是什么，如（f a或f b）。我正在阅读的文章将其描述为“盒子”，但它的实际正确名称是什么？它只是一个类型变量吗？我认为我很困惑并认为它是一个功能应用程序 - 这是正确的吗？

Answer 1

你直觉它是一种功能应用是正确的，但它们不是常规功能。相反，这是类型构造函数在类型级别上的应用。

具体来说，Functors必须具有类型（类型类型）* -> *，这意味着它们采用一种类型参数并生成具体类型*，例如[Int]。

此类型构造函数的示例包括IO, Maybe, [], Either e和许多其他构造函数，并且这些特定示例都具有有效的Functor实例。

fmap (+1) [1,2,3]    :: [] Int -- also known as [Int]
  = [2,3,4]
fmap (+1) (Just 1)   :: Maybe Int
  = Just 2
fmap (+1) (Right 1)  :: Either e Int
  = Right 2
fmap (+1) (return 1) :: IO Int -- Uses Monad IO instance as well
  "=" 2

Answer 2

它是一个类型变量，代表您正在使用的特定仿函数。例如，IO是一个仿函数，因此您可以将fmap专门化为

fmap :: (a -> b) -> IO a -> IO b

同样，您可以将其专门化为列表：

fmap :: (a -> b) -> [a] -> [b]

'f'在仿函数的fmap函数中表示什么？

2 个答案: