Bản đồ đôi trong haskell?

Question

Tôi vẫn là người mới bắt đầu sử dụng haskell. Tôi có thể làm một bản đồ đôi trong haskell không?

Ví dụ, nếu tôi có một [[Char]] và tôi muốn chuyển đổi mỗi Char trong mỗi [Char] để giảm trường hợp, là có một cách dễ dàng để làm điều này chứ không phải là cái gì đó như:

exampleF [] = [] 
exampleF (x:xs) = (map toLower x) : exampleF xs 

Answer 1

Bạn có thể nghĩ map f, khi chuyển một hàm f :: a -> b thành một hàm trên danh sách map f :: [a] -> [b], vì vậy nếu bạn muốn biến nó thành hàm trên danh sách danh sách, bạn chỉ cần sử dụng map lần nữa để nhận map (map f) :: [[a]] -> [[b]].

Trong trường hợp đặc biệt này, mà trở thành:

exampleF = map (map toLower) 

Answer 2

Trong thực tế, có một mô hình đẹp ở đây:

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

và vân vân