为什么`fmap sum just` typecheck？

Question

我们知道fmap是fmap :: Functor f => (a -> b) -> f a -> f b和sum是sum :: (Num a, Foldable t) => t a -> a，但下面的代码混淆了我。

> :t (fmap sum Just) 
(fmap sum Just) :: Num b => b -> b 
> fmap sum Just 3 
3 

为什么？

Answer 1

我想这里可能有两个令人困惑的位。

首先，最明显的是，sum适用于Foldable的东西，而不仅仅是列表。因此：

sum (Just 3) == 3 

第二个是您正在使用的仿函数实例。由于Just是一个函数，因为这是fmap的第二个参数，因此您正在使用fmap的读取器实例，此处将（https://hackage.haskell.org/package/base-4.9.1.0/docs/src/GHC.Base.html#line-638）定义为(.)。

它看起来怪异，喜欢它应该不是类型检查，因为你提供三个参数FMAP，但实际上，在（FMAP只是总和）的结果是一个函数：

Prelude> :t fmap sum Just 
fmap sum Just :: Num b => b -> b 

如果我们用.代替fmap，事情开始变得更有意义了。

Prelude> (.) sum Just 3 
3 

Prelude> (sum . Just) 3 
3 

这是一样的

sum (Just 3)