类型(地图.地图)

Question

我试图理解表达式的类型(map . map).由于类型(.)是(b -> c) -> (a -> b) -> a -> c我不明白这是如何工作与地图功能,因为map取不与功能适应两个参数(b -> c)和(a -> b).

Answer 1

引用GHCI:

Prelude> :t map.map
map.map :: (a -> b) -> [[a]] -> [[b]]

但对于地图本身,类型是

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

你可以看到

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

所以,如果我们有那个 (.) :: (t2 -> t3) -> (t1 -> t2) -> t1 -> t3

然后:

• 类型t1是(a -> b)
• 类型t2是([a] -> [b])
• 类型t3是([[a]] -> [[b]])