8960329996

Pewne funkcje

□    reduce można też rozumieć jako operację, która w liście zastępuje cons przez f, a nil przez a: Lista [1,2,3] oznacza:

cons (1 cons (2 cons 3 nil)))

□    Operacja reduce add o powoduje zamianę listy na:

add (1 add (2 (add 3 0))) = 6 (zamiana cons -> add, nil -> 0)

□    Podobnie reduce multiply 1 daje:

multiply (1 multiply (2 (multiply 3 1))) = 6

□    Widać również, że reduce cons nil kopiuje listę.

□    Ponieważ do listy można dodać inną listę przez operację cons, to widać też, że następująca funkcja append dodaje elementy do listy:

append a b = reduce cons b a