haskell - Haskell 函数的 fmap

Question

我正在尝试为函数实现 fmap，与所有文档如何引用像 Maybe 这样的简单类型相比，我无法弄清楚如何将“提升”应用于函数

我要实现的函数类型是

fmapFunction :: (a -> b) -> (e -> a) -> (e -> b)

任何想法我应该怎么做？

Answer 1

如果您翻转类型可能更容易查看:

(e -> a) -> (a -> b) -> (e -> b)

我们可以将 e 转换为 a ，将 a 转换为 b 。那么我们如何将 e 转换为 b 呢？

不要过分关注“提升”；对于 Functor 实例，发现实现的最好方法就是简单地遵循类型。