小编Mik*_*ael的帖子

在GHCI前奏>使用:t中查找函数的类型:

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

(:) :: a -> [a] -> [a]

((.)(:)) :: (a -> b) -> a -> [b] -> [b]   -- (what happened here?)

我理解单个函数的结果,但是当部分应用时我没有.

地图的类型是什么？我在这个页面上找到了答案,如何以代数方式进行.但是我在使用相同的方法时遇到了问题((.)(:)).

当你想知道什么类型的方法是((.)(:))什么？有没有一种思维方式可以用于函数的任何部分应用？

提前致谢.