8960329995

Pewne funkcje

□ Można uogólnić ostatnią formułę zamieniając add na f: reduce f x nil = x

reduce f x (cons a 1) = f a (reduce f x 1)

□    Funkcja trójargumentowa (tutaj reduce), zastosowana do dwu argumentów jest traktowana, jak funkcja tylko trzeciego argumentu; w ogólności funkcja n argumentowa działając na m<n argumentów staje się funkcją m-n argumentową.

□    Możemy teraz (bez dadatkowego programowania) użyć reduce do obliczenia iloczynu (lub zbadać czy lista zawiera element true, czy też wszystkie elementy true):

product    =    reduce    multiply    1

anytrue    =    reduce    or false

alltrue    =    reduce    and true