Jaki jest ten wzór składania i iteracji?

Question

Wyobraź sobie, że musisz złożyć sekwencję i chcesz poznać również wartości pośrednie w kilku punktach wzdłuż tego zakresu. To właśnie użyłem do tego:

[a,b,c] = map fst . tail $ chain [g i, g j, g k] (zero, sequence) 

g :: Integer -> (a,b) -> (a,b) 

chain (f:fs) x = x : chain fs (f x) 
chain [] x = [x] 

Funkcja g zużywa określoną część sekwencji wejściowej (długości i, j, etc.), począwszy od początkowych wartości i produkujących takie same wyniki typ, który zostanie wprowadzony do następnej inwokacji. Zużywanie sekwencji kilkukrotnie dla różnych długości, począwszy od początku i tej samej wartości początkowej, byłoby nieefektywne, zarówno w czasie, jak i w przestrzeni.

Tak więc z jednej strony składamy tę sekwencję liczb całkowitych - punkty pośrednie w sekwencji; z drugiej strony, iterujemy tę funkcję, g. Co to jest? Czy tu brakuje czegoś podstawowego? Czy można to w jakiś sposób wyrazić za pomocą regularnego repertuaru fałd itp.?

EDIT:   Rozwiązany:   powyższe jest po prostu

[a,b,c] = map fst . tail $ scanl (flip g) (zero, sequence) [i, j, k] 

ciekawy jak modyfikowalne iteracja faktycznie jest składane na liście modyfikatorów.

Answer 1

Spróbuj scanl: http://www.haskell.org/hoogle/?hoogle=scanl

scanl jest podobna do foldl, ale zwraca listę kolejnych obniżonych wartości od lewej:

scanl f z [x1, x2, ...] == [z, z `f` x1, (z `f` x1) `f` x2, ...] 

Zauważ, że

last (scanl f z xs) == foldl f z xs 

Answer 2

Aby opracować na Komentarz Marcina, w zasadzie chcą:

intermediates = scanl step zero sequence 
map (\n -> intermediates !! n) [i, j, k] 

step nie jest g, ale raczej tylko część g że zużywa pojedynczy element listy sequence.

Zaakceptuj także Marcina jako poprawną odpowiedź.