畳み込み(fold)と展開(unfold)

リストに対する再帰関数から再帰的な様式を抽出する

畳み込み

データ構造を消費する

展開

データ構造を生産する

再帰関数の制限の緩さ

再帰

畳み込み

mapやfilter

上の方が制限が緩い。つまり抽象度が高く、できることが多い

なので、できるだけ制限の強い、下の方のものを使って実装することで簡潔でわかりやすくなる

大抵のSortは再帰で書ける

参考

末尾再帰との関係