タイプ（地図。地図）

Question

私は式(map . map)のタイプを理解しようとしています。 (.)のタイプは(b -> c) -> (a -> b) -> a -> cなので、mapは関数(b -> c)と(a -> b)に適合しない2つの引数を取るので、マップ関数ではどのように動作するのか分かりません。

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]])

Answer 2

一つの方法は、mapのにa -> bを回すことであるであるです[a] -> [b]ですので、map . mapは2回します。最初のマップはa -> bを[a] -> [b]に変え、2番目のマップはプロセスを繰り返して[[a]] -> [[b]]にします。

は、それはかなりかなり論理[a] -> [b]にmapを適用する[[a]] -> [[b]]にそれを回すだろうと思える、「a -> bにmapを適用すると、[a] -> [b]に変換します」、そう。ファンクションにmapを2回適用するだけです。なお

： `こと

-- apply map to a function once 
      map :: (a -> b) -> ( [a] -> [b] ) 
-- apply map to a function twice 
     map . map :: (a -> b) -> ([[a]] -> [[b]]) 
-- apply map to a function three times 
map . map . map :: (a -> b) -> ([[[a]]] -> [[[b]]])