私には機能がありますf :: (a -> a) -> a -> ((a -> a), a)。(特定のケースaでは ですIntが、それは無関係です。)
関数initial :: a -> aと入力のリスト ( inputs :: [a]) があります。
fのすべての要素に適用する必要がありますinputsが、それぞれfstについて、前の反復の出力の一部を取得し、次の反復の入力の一部として供給する必要(a -> a)があります。出力として、各反復の出力の一部で[a]あるtype のリストが必要です。snd
出力の中間部分のリストを作成しながら、出力の一部と の要素に再帰的に適用fするにはどうすればよいですか?fstinputssnd