Arantium Maestum

foldr関数 sum、concat、filter、mapは似ている。 リストを受け取る 空リストが停止条件 (x:xs)が引数の場合、（mapやfilterの場合は何か関数適用した）xと、xsに対して再帰的処理した結果とを、なんらかの方法で結合する。 そして例えばsum (xs ++ ys) = sum xs + sum ysなどの法則を数学的帰納法で証明するのも同じ。 こ…