Двойная карта в хаскеле?

Question

Я все еще новичок в Haskell. Могу ли я сделать двойную карту в Haskell?

Например, если у меня есть [[Char]] и я хочу преобразовать каждое Char в каждом [Char] в нижний регистр, есть ли простой способ сделать это, а не что-то вроде:

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

Answer 1

На самом деле, здесь есть хороший паттерн:

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

и т. Д.

Answer 2

Вы можете думать о map f как о преобразовании функции f :: a -> b в функцию в списках map f :: [a] -> [b], поэтому, если вы хотите преобразовать ее далее в функцию в списках списков, вам просто нужно использовать map снова, чтобы получить map (map f) :: [[a]] -> [[b]].

В данном конкретном случае это становится:

exampleF = map (map toLower)