07/10/31 21:41:32
>>17
foldrは演算子を使ってリストを潰したいときに使う。
foldr (+) 0 [1,2,3,4] = 1+(2+(3+(4+0)))
他にも、
foldr (*) 1でリスト要素の積
foldr (&&) Trueでリスト要素のAND
foldr max 0で0を下限とした最大要素
foldr union emptyで複数の集合の和集合
foldr (.) idで複数の関数の合成
など応用いっぱい。
accてのはただの型変数の名前で、aとかbとかと一緒。