パズルリング関数の構成

Question

次の式で関数の構成を理解するにはどうすればよいですか？

map . foldr (.) id :: [b -> b] -> [b] -> [b] 

Answer 1

f :: [a->a] -> a -> a 
f = foldr (.) id 

これは、関数のリストを受け取り、例えば一緒に

それらを構成する

foldr (.) id [(+1),(+2)] == ((+1) . ((+2) . id)) == (+3) 

機能アプリケーションがhigest固定性とマップが最後に行われた

map . foldr (.) id == \x -> map (foldr (.) id x) 

それを地図foldr (.) id第1引数（関数のリスト）の後にリスト（第2引数）が適用される