haskell - 对 (fmap length Just) [1,1,1,1] 与 fmap length $ Just [1,1,1,1] 感到困惑

Question

我知道括号会强制执行不同的操作顺序，但我不太明白第一个结果:

>> (fmap length Just) [1, 2, 3]
1

而以下内容非常有意义 - 我们将长度函数提升到 Just 结构上，因此我们应该得到“Just [list 的长度]”:

>> fmap length $ Just [1, 2, 3]
Just 3

第一种情况发生了什么？

Answer 1

在第一种情况下，您将获得 Functor 的函数实例，其中 fmap = (.)，因此:

fmap length Just [1,2,3]
=
(length . Just) [1,2,3]
=
length (Just [1,2,3])

Maybe 的 Foldable 实例表示 Nothing 的长度为 0 且 Just 的长度为 1 ——如果您认为 Maybe a 有点像 a 的集合，那么这是相当合理的> 其中最多有一个 a。