haskell - 恒等仿函数到底是做什么的？

Question

这可能是微不足道的，但我不明白以下是什么意思。

instance Functor Identity where
    fmap     = coerce

所以，我可以尝试定义类似的东西:

Prelude Control.Lens Data.Functor.Identity> :t fmap
fmap :: Functor f => (a -> b) -> f a -> f b
Prelude Control.Lens Data.Functor.Identity> let z f g = coerce f g
Prelude Control.Lens Data.Functor.Identity> :t z
z :: Contravariant ((->) t) => (t -> a) -> t -> b

但是，用更简单的术语来说它是什么意思？

Answer 1

coerce的使用是 GHC 7.10 中的新功能，是为了提高效率。 “真实”的定义是

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

Identity 的包装/展开构造函数应该在编译时优化掉，但它似乎是 base开发人员有理由通过使用 coerce 来确保没有性能损失。 .

我们可以使用的原因 coerce是 Identity a同构于(相同于) a ，所以我们可以强制 a -> b至 Identity a -> Identity b这恰好是 fmap 的定义专攻 Identity !