haskell - 我如何写 ( :)(. ) 有针对性的形式？

Question

我很难理解功能是什么(:)(.)在 Haskell 中。有人可以帮我写成有针对性的形式，并逐步解释如何到达那里吗？第一步是扩展 (:)所以我们得到 ((.) :) ，但后来我被卡住了。
它的类型应该是 [(b->c)->(a->b)->a->c]->[(b->c)->(a->b)->a->c] ，但这对我没有帮助，只会让我更加困惑。

Answer 1

(:) (.)

Eta-展开:

\x -> (:) (.) x

转换为中缀表示法:

\x -> (.) : x

IE。 x必须是一个列表，我们在前面加上 (.)到它(这就是 : 所做的:它将一个元素添加到列表中)。
(.)是一个函数，所以 x必须是函数列表。

(.) :: (b -> c) -> (a -> b) -> a -> c

，所以 x必须有类型

x   :: [(b -> c) -> (a -> b) -> a -> c]