“多参数”功能组合（例如fmap。fmap）如何工作？

Question

当我们有表达式时：

(fmap . fmap) function nested_functor

我希望它会翻译成类似

fmap (fmap function nested_functor)

尽管它似乎表现出令人惊讶的行为

fmap (fmap function) nested_functor

为什么？

Answer 1

好吧，只看(.)的定义：

(f . g) x = f (g x)

所以，

(fmap . fmap) function = fmap (fmap function)

最后添加一个额外的参数并不会真正改变方程式-只是使其更加具体。

(fmap . fmap) function nested_functor = fmap (fmap function) nested_functor

（NB函数应用程序保持关联，因此fxy表示(fx) y 。）