フォルダのアイデンティティは
foldr (:) []
より一般的に言えば、折り畳みを使用すると、構造を破壊して要約値になるか、同じ出力構造になるように構造を挿入することができます。
[Int] -> [Int]
または
[Int] -> Int
または
[Int] -> ?
unfoldr/l と同じようなアイデンティティがあるかどうか疑問に思っています。
入手方法を知っている
Int -> [Int]
展開/アナで。
私はそこから抜け出すためのある種の方法を探しています
Int -> Int
再帰スキームを使用します。