Написание foldl с помощью foldr


79

В Real World Haskell , Глава 4. Функциональное программирование :

Напишите foldl с помощью foldr:

-- file: ch04/Fold.hs
myFoldl :: (a -> b -> a) -> a -> [b] -> a

myFoldl f z xs = foldr step id xs z
    where step x g a = g (f a x)

Приведенный выше код меня сильно смутил, и кто-то позвонил в dps и переписал его с осмысленным именем, чтобы было немного понятнее:

myFoldl stepL zeroL xs = (foldr stepR id xs) zeroL
where stepR lastL accR accInitL = accR (stepL accInitL lastL)

Затем кто-то другой, Джеф Джи, отлично поработал, предоставив пример и шаг за шагом продемонстрировав базовый механизм:

myFoldl (+) 0 [1, 2, 3]
= (foldR step id [1, 2, 3]) 0
= (step 1 (step 2 (step 3 id))) 0
= (step 1 (step 2 (\a3 -> id ((+) a3 3)))) 0
= (step 1 (\a2 -> (\a3 -> id ((+) a3 3)) ((+) a2 2))) 0
= (\a1 -> (\a2 -> (\a3 -> id ((+) a3 3)) ((+) a2 2)) ((+) a1 1)) 0
= (\a1 -> (\a2 -> (\a3 -> (+) a3 3) ((+) a2 2)) ((+) a1 1)) 0
= (\a1 -> (\a2 -> (+) ((+) a2 2) 3) ((+) a1 1)) 0
= (\a1 -> (+) ((+) ((+) a1 1) 2) 3) 0
= (+) ((+) ((+) 0 1) 2) 3
= ((0 + 1) + 2) + 3

Но я все еще не могу полностью это понять, вот мои вопросы:

  1. Для чего нужна функция id? Какая роль? Зачем оно нам здесь?
  2. В приведенном выше примере функция id является аккумулятором в лямбда-функции?
  3. Прототип foldr есть foldr :: (a -> b -> b) -> b -> [a] -> b, и первый параметр - это функция, которой требуются два параметра, но пошаговая функция в реализации myFoldl использует 3 параметра, я полностью запутался!

2
Для настоящего мазохиста,step = curry $ uncurry (&) <<< (flip f) *** (.)
Вэйцзюнь Чжоу

Ответы:


99

Некоторые пояснения по порядку!

Для чего нужна функция id? Какая роль? Зачем оно нам здесь?

idэто функция тождества , id x = xи используется как эквивалент нуля при наращивании цепочки функций с функцией состава , (.). Вы можете найти его определение в Prelude .

В приведенном выше примере функция id является аккумулятором в лямбда-функции?

Аккумулятор - это функция, которая создается с помощью повторяющихся функций. Явного лямбда-выражения нет, поскольку мы называем аккумулятор step. Вы можете написать это с помощью лямбды, если хотите:

foldl f a bs = foldr (\b g x -> g (f x b)) id bs a

Или, как написал бы Грэм Хаттон :

5.1 foldlОператор

Теперь давайте обобщим этот sumlпример и рассмотрим стандартный оператор, foldlкоторый обрабатывает элементы списка в порядке слева направо, используя функцию fдля объединения значений и значение vв качестве начального значения:

foldl :: (β → α → β) → β → ([α] → β)
foldl f v [ ] = v
foldl f v (x : xs) = foldl f (f v x) xs

Используя этот оператор, sumlможно просто переопределить suml = foldl (+) 0. Многие другие функции можно просто определить с помощью foldl. Например, стандартная функция reverseможет быть переопределена foldlследующим образом:

reverse :: [α] → [α]
reverse = foldl (λxs x → x : xs) [ ]

Это определение более эффективно, чем наше исходное определение с использованием свертки, поскольку оно позволяет избежать использования неэффективного оператора добавления (++)для списков.

Простое обобщение вычислений в предыдущем разделе для функции sumlпоказывает, как переопределить функцию foldlв терминах fold:

foldl f v xs = fold (λx g → (λa → g (f a x))) id xs v

Напротив, невозможно переопределить foldв терминах из- foldlза того, что foldlэто строго в конце аргумента списка, но foldне является. Существует ряд полезных «теорем двойственности», касающихся foldи foldl, а также некоторые рекомендации для решения, какой оператор лучше всего подходит для конкретных приложений (Bird, 1998).

Прототип foldr - foldr :: (a -> b -> b) -> b -> [a] -> b

Haskell программист хотел бы сказать , что тип из foldrвне (a -> b -> b) -> b -> [a] -> b.

и первый параметр - это функция, которой требуются два параметра, но пошаговая функция в реализации myFoldl использует 3 параметра, я полностью запутался

Это сбивает с толку и волшебно! Мы играем в шутку и заменяем аккумулятор функцией, которая, в свою очередь, применяется к начальному значению, чтобы получить результат.

Graham Hutton объясняет трюк , чтобы включить foldlв foldrв вышеуказанной статье. Начнем с написания рекурсивного определения foldl:

foldl :: (a -> b -> a) -> a -> [b] -> a
foldl f v []       = v
foldl f v (x : xs) = foldl f (f v x) xs

А затем реорганизуйте его с помощью преобразования статического аргумента f:

foldl :: (a -> b -> a) -> a -> [b] -> a    
foldl f v xs = g xs v
    where
        g []     v = v
        g (x:xs) v = g xs (f v x)

Давайте теперь перепишем gтак, чтобы плавать vвнутрь:

foldl f v xs = g xs v
    where
        g []     = \v -> v
        g (x:xs) = \v -> g xs (f v x)

Это то же самое, что думать о gфункции одного аргумента, возвращающей функцию:

foldl f v xs = g xs v
    where
        g []     = id
        g (x:xs) = \v -> g xs (f v x)

Теперь у нас gесть функция, которая рекурсивно просматривает список и применяет некоторую функцию f. Конечное значение - это функция идентичности, и каждый шаг также приводит к функции.

Но у нас уже есть очень похожая рекурсивная функция для списков foldr!

2 Оператор свёртки

foldОператор имеет свои истоки в теории рекурсии (Клини, 1952), в то время как использование в foldкачестве центрального понятия в датах языка программирования назад к оператору редукции APL (Айверсон, 1962), а позже вставки оператору FP (BACKUS , 1978). В Haskell foldоператор для списков может быть определен следующим образом:

fold :: (α → β → β) → β → ([α] → β)
fold f v [ ] = v
fold f v (x : xs) = f x (fold f v xs)

То есть, учитывая функцию fтипа α → β → βи значение vтипа β, функция fold f vобрабатывает список типа, [α]чтобы дать значение типа β, заменяя конструктор nil []в конце списка значением v, а каждый конструктор cons (:)в списке на функция f. Таким образом, foldоператор инкапсулирует простой шаблон рекурсии для обработки списков, в котором два конструктора для списков просто заменяются другими значениями и функциями. Ряд знакомых функций в списках можно просто определить с помощью fold.

Это похоже на рекурсивную схему, очень похожую на нашу gфункцию. Теперь уловка: используя всю доступную магию (также известную как Бёрд, Меертенс и Малкольм), мы применяем специальное правило, универсальное свойство свёртки , которое является эквивалентом двух определений для функции g, обрабатывающей списки, а именно:

g [] = v
g (x:xs) = f x (g xs)

если и только если

g = fold f v

Итак, универсальное свойство складок гласит:

    g = foldr k v

где gдолжно быть эквивалентно двум уравнениям для некоторых kи v:

    g []     = v
    g (x:xs) = k x (g xs)

Из наших предыдущих дизайнов складок мы знаем v == id. Однако для второго уравнения нам нужно вычислить определение k:

    g (x:xs)         = k x (g xs)        
<=> g (x:xs) v       = k x (g xs) v      -- accumulator of functions
<=> g xs (f v x)     = k x (g xs) v      -- definition of foldl
<=  g' (f v x)       = k x g' v          -- generalize (g xs) to g'
<=> k = \x g' -> (\a -> g' (f v x))      -- expand k. recursion captured in g'

Что, заменяя наши вычисленные определения kи vдает определение foldl как:

foldl :: (a -> b -> a) -> a -> [b] -> a    
foldl f v xs =
    foldr
        (\x g -> (\a -> g (f v x)))
        id
        xs
        v

Рекурсивная переменная gзаменяется комбинатором foldr, а аккумулятор становится функцией, построенной через цепочку композиций fкаждого элемента списка в обратном порядке (поэтому мы сворачиваем влево, а не вправо).

Это определенно несколько продвинуто, поэтому, чтобы глубоко понять это преобразование, универсальное свойство складок , которое делает преобразование возможным, я рекомендую учебник Хаттона, ссылка на который приведена ниже.


Рекомендации


1
Пожалуйста, исправьте опечатку k = \x g' -> (\a -> g' (f v x)) и(\x g -> (\a -> g (f v x)))
Камел

10

Рассмотрим тип foldr:

foldr :: (b -> a -> a) -> a -> [b] -> a

Тогда как типа stepчто-то вроде b -> (a -> a) -> a -> a. Поскольку step передается foldr, мы можем сделать вывод, что в этом случае складка имеет тип, подобный (b -> (a -> a) -> (a -> a)) -> (a -> a) -> [b] -> (a -> a).

Пусть вас не смущают разные значения aв разных подписях; это просто переменная типа. Кроме того, имейте в виду, что стрелка функции является правой ассоциативной, поэтому a -> b -> cэто то же самое, что и a -> (b -> c).

Итак, да, значение аккумулятора для foldr- это функция типа a -> a, а начальное значение - id. В этом есть смысл, потому что idэто функция, которая ничего не делает - по той же причине, по которой вы начинаете с нуля в качестве начального значения при добавлении всех значений в список.

Что касается stepпринятия трех аргументов, попробуйте переписать его так:

step :: b -> (a -> a) -> (a -> a)
step x g = \a -> g (f a x)

Это облегчает понимание того, что происходит? Требуется дополнительный параметр, поскольку он возвращает функцию, и два способа его записи эквивалентны. Также обратите внимание на дополнительный параметр по очереди foldr: (foldr step id xs) z. Часть в скобках - это сама свёртка, которая возвращает функцию, к которой затем применяется z.


6

(быстро просмотрите мои ответы [1] , [2] , [3] , [4], чтобы убедиться, что вы понимаете синтаксис Haskell, функции высшего порядка, каррирование, композицию функций, оператор $, инфиксные / префиксные операторы, разделы и лямбда-выражения )

Универсальное свойство складки

Раз просто кодификация определенных видов рекурсии. А свойство универсальности просто утверждает, что если ваша рекурсия соответствует определенной форме, она может быть преобразована в свертку согласно некоторым формальным правилам. И наоборот, каждую складку можно преобразовать в такую ​​рекурсию. Опять же, некоторые рекурсии можно преобразовать в свертки, которые дают точно такой же ответ, а некоторые рекурсии - нет, и для этого существует точная процедура.

По сути, если ваша рекурсивная функция работает со списками, которые выглядят как слева , вы можете преобразовать ее, чтобы свернуть один вправо , подставляя fи вместо vтого, что на самом деле есть.

g []     = v              ⇒
g (x:xs) = f x (g xs)     ⇒     g = foldr f v

Например:

sum []     = 0   {- recursion becomes fold -}
sum (x:xs) = x + sum xs   ⇒     sum = foldr 0 (+)

Здесь v = 0и sum (x:xs) = x + sum xsэквивалентно sum (x:xs) = (+) x (sum xs), поэтому f = (+). Еще 2 примера

product []     = 1
product (x:xs) = x * product xs  ⇒  product = foldr 1 (*)

length []     = 0
length (x:xs) = 1 + length xs    ⇒  length = foldr (\_ a -> 1 + a) 0

Упражнение:

  1. Реализовать map, filter, reverse, concatи concatMapрекурсивно, так же , как перечисленные выше функции на левой стороне.

  2. Преобразуйте эти 5 функций в foldr в соответствии с приведенной выше формулой , то есть заменив fи vв формуле свертки справа .

Сложить через foldr

Как написать рекурсивную функцию, которая суммирует числа слева направо?

sum [] = 0     -- given `sum [1,2,3]` expands into `(1 + (2 + 3))`
sum (x:xs) = x + sum xs

Первая рекурсивная функция, которую нужно найти, полностью раскрывается еще до того, как начинает складываться, это не то, что нам нужно. Один из подходов - создать рекурсивную функцию с аккумулятором , которая немедленно складывает числа на каждом шаге (прочтите о хвостовой рекурсии, чтобы узнать больше о стратегиях рекурсии):

suml :: [a] -> a
suml xs = suml' xs 0
  where suml' [] n = n   -- auxiliary function
        suml' (x:xs) n = suml' xs (n+x)

Хорошо, стой! Запустите этот код в GHCi и убедитесь, что вы понимаете, как он работает, затем внимательно и вдумчиво продолжайте. sumlне может быть переопределен сгибом, но suml'может быть.

suml' []       = v    -- equivalent: v n = n
suml' (x:xs) n = f x (suml' xs) n

suml' [] n = nиз определения функции, верно? И v = suml' []из формулы универсального свойства. Вместе это дает v n = n, функцию , которая немедленно возвращает то , что получает: v = id. Рассчитаем f:

suml' (x:xs) n = f x (suml' xs) n
-- expand suml' definition
suml' xs (n+x) = f x (suml' xs) n
-- replace `suml' xs` with `g`
g (n+x)        = f x g n

Таким образом, suml' = foldr (\x g n -> g (n+x)) idи, таким образом, suml = foldr (\x g n -> g (n+x)) id xs 0.

foldr (\x g n -> g (n + x)) id [1..10] 0 -- return 55

Теперь нам просто нужно обобщить, заменив +переменной функцией:

foldl f a xs = foldr (\x g n -> g (n `f` x)) id xs a
foldl (-) 10 [1..5] -- returns -5

Заключение

Теперь прочтите Учебник Грэма Хаттона по универсальности и выразительности складки . Возьмите ручку и бумагу, постарайтесь понять все, что он пишет, пока не получите большую часть складок самостоятельно. Не переживайте, если вы чего-то не понимаете, вы всегда можете вернуться позже, но и не откладывайте на потом.


Я считаю этот ответ более простым и ясным, чем принятый. Жаль, что у него так мало голосов за ...
гигабайт

5

Вот мое доказательство, которое foldlможно выразить в терминах foldr, которое я считаю довольно простым, если не считать названия спагетти, которое stepвводит функция.

Предложение состоит в том, что foldl f z xsэквивалентно

myfoldl f z xs = foldr step_f id xs z
        where step_f x g a = g (f a x)

Первое, на что следует обратить внимание, это то, что правая часть первой строки фактически оценивается как

(foldr step_f id xs) z

поскольку foldrпринимает только три параметра. Это уже намекает на то, что foldrбудет вычисляться не значение, а каррированная функция, к которой затем применяется z. Есть два случая , чтобы провести расследование , чтобы выяснить , myfoldlявляется foldl:

  1. Базовый случай: пустой список

      myfoldl f z []
    = foldr step_f id [] z    (by definition of myfoldl)
    = id z                    (by definition of foldr)
    = z
    
      foldl f z []
    = z                       (by definition of foldl)
    
  2. Непустой список

      myfoldl f z (x:xs)
    = foldr step_f id (x:xs) z          (by definition of myfoldl)
    = step_f x (foldr step_f id xs) z   (-> apply step_f)
    = (foldr step_f id xs) (f z x)      (-> remove parentheses)
    = foldr step_f id xs (f z x)
    = myfoldl f (f z x) xs              (definition of myfoldl)
    
      foldl f z (x:xs)
    = foldl f (f z x) xs
    

Поскольку в 2. первая и последняя строки имеют одинаковую форму в обоих случаях, ее можно использовать для свертывания списка до тех пор xs == [], пока , в этом случае 1. не гарантирует одинаковый результат. Итак, по индукции myfoldl == foldl.


2

Нет Королевской дороги к математике, даже через Haskell. Позволять

h z = (foldr step id xs) z where   
     step x g =  \a -> g (f a x)

Что это за хрень h z? Предположим, что xs = [x0, x1, x2].
Примените определение foldr:

h z = (step x0 (step x1 (step x2 id))) z 

Примените определение шага:

= (\a0 -> (\a1 -> (\a2 -> id (f a2 x2)) (f a1 x1)) (f a0 x0)) z

Подставляем в лямбда-функции:

= (\a1 -> (\a2 -> id (f a2 x2)) (f a1 x1)) (f z x0)

= (\a2 -> id (f a2 x2)) (f (f z x0) x1)

= id (f (f (f z x0) x1) x2)

Применить определение id:

= f (f (f z x0) x1) x2

Примените определение foldl:

= foldl f z [x0, x1, x2]

Это Королевская дорога или что?


2

Перед тем как голосовать против, прочтите следующий абзац.

Я отправляю ответ для тех людей, которым этот подход может лучше соответствовать их образу мышления. Ответ, возможно, содержит избыточную информацию и мысли, но это то, что мне нужно для решения проблемы. Кроме того, поскольку это еще один ответ на тот же вопрос, очевидно, что он существенно пересекается с другими ответами, однако он рассказывает историю о том, как я мог понять эту концепцию.

На самом деле я начал записывать эти заметки как личную запись своих мыслей, пытаясь понять эту тему. Мне потребовался целый день, чтобы коснуться его сути, если я действительно понял.

Мой долгий путь к пониманию этого простого упражнения

Легкая часть: что нам нужно определить?

Что происходит в следующем примере вызова

foldl f z [1,2,3,4]

можно визуализировать с помощью следующей диаграммы (которая есть в Википедии , но я впервые увидел ее в другом ответе ):

          _____results in a number
         /
        f          f (f (f (f z 1) 2) 3) 4
       / \
      f   4        f (f (f z 1) 2) 3
     / \
    f   3          f (f z 1) 2
   / \
  f   2            f z 1
 / \
z   1

(В качестве примечания, при использовании foldlкаждого приложения fне выполняется, а выражения обрабатываются так же, как я написал их выше; в принципе, они могут быть вычислены, когда вы идете снизу вверх, и это именно то, что foldl'делает.)

Упражнение по существу заставляет нас использовать foldrвместо foldlсоответствующего изменения пошаговой функции (поэтому мы используем sвместо f) и начального аккумулятора (так что мы используем ?вместо z); список остается прежним, иначе о чем мы говорим?

Вызов foldrдолжен выглядеть так:

foldr s ? [1,2,3,4]

и соответствующая диаграмма такова:

    _____what does the last call return?
   /
  s
 / \
1   s
   / \
  2   s
     / \
    3   s
       / \
      4   ? <--- what is the initial accumulator?

Звонок приводит к

s 1 (s 2 (s 3 (s 4 ?)))

Что такое sи ?? А какие у них виды? Похоже, что sэто функция с двумя аргументами, очень похоже f, но не будем торопиться с выводами. Кроме того, давайте ?на мгновение оставим в стороне и заметим, что zэто должно вступать в игру, как только 1вступает в игру; однако, как это может zсыграть роль в вызове функции с двумя аргументами s, а именно в вызове s 1 (…)? Мы можем решить эту часть загадки, выбрав функцию, sкоторая принимает 3 аргумента, а не 2, о которых мы упоминали ранее, так что внешний вызов s 1 (…)приведет к функции, принимающей один аргумент, которому мы можем передать z!

Это означает, что нам нужен исходный вызов, который расширяется до

f (f (f (f z 1) 2) 3) 4

быть эквивалентным

s 1 (s 2 (s 3 (s 4 ?))) z

или, другими словами, мы хотим, чтобы частично примененная функция

s 1 (s 2 (s 3 (s 4 ?)))

быть эквивалентным следующей лямбда-функции

(\z -> f (f (f (f z 1) 2) 3) 4)

Опять же, «единственные» части, которые нам нужны, - это sи ?.

Поворотный момент: распознать состав функций

Давайте перерисуем предыдущую диаграмму и напишем справа, чему мы хотим, чтобы каждый вызов sбыл эквивалентен:

  s          s 1 (…) == (\z -> f (f (f (f z 1) 2) 3) 4)
 / \
1   s        s 2 (…) == (\z -> f (f (f    z    2) 3) 4)
   / \
  2   s      s 3 (…) == (\z -> f (f       z       3) 4)
     / \
    3   s    s 4  ?  == (\z -> f          z          4)
       / \
      4   ? <--- what is the initial accumulator?

Я надеюсь, что из структуры диаграммы ясно, что (…)на каждой строке находится правая часть строки под ней; лучше, это функция, возвращенная из предыдущего (ниже) вызова s.

Также должно быть ясно, что вызов sс аргументами xи yявляется (полным) приложением yк частичному применению fк единственному аргументу x. Поскольку частичное применение fto xможет быть записано как лямбда (\z -> f z x), полное применение yк нему приводит к лямбде (\z -> y (f z x)), которую в данном случае я бы переписал как y . (\z -> f z x); переводя слова в выражение, потому что sмы получаем

s x y = y . (\z -> f z x)

(Это то же самое s x y z = y (f z x), что и книга, если вы переименуете переменные.)

Последний бит: каково начальное «значение» ?аккумулятора? Приведенную выше диаграмму можно переписать, расширив вложенные вызовы, чтобы сделать их композиционными цепочками:

  s          s 1 (…) == (\z -> f z 4) . (\z -> f z 3) . (\z -> f z 2) . (\z -> f z 1)
 / \
1   s        s 2 (…) == (\z -> f z 4) . (\z -> f z 3) . (\z -> f z 2)
   / \
  2   s      s 3 (…) == (\z -> f z 4) . (\z -> f z 3)
     / \
    3   s    s 4  ?  == (\z -> f z 4)
       / \
      4   ? <--- what is the initial accumulator?

Здесь мы видим, что sпросто «накапливаются» последовательные частичные применения f, но yin s x y = y . (\z -> f z x)предполагает, что интерпретация s 4 ?(и, в свою очередь, всех остальных) упускает ведущую функцию, которая должна быть составлена ​​с самой левой лямбдой.

Это и есть наша ?функция: пора дать ему причину его существования, помимо того, что он занимает место в вызове foldr. Что мы можем выбрать, чтобы не менять результирующие функции? Ответ: id, на единичный элемент по отношению к оператору композиции (.).

  s          s 1 (…) == id . (\z -> f z 4) . (\z -> f z 3) . (\z -> f z 2) . (\z -> f z 1)
 / \
1   s        s 2 (…) == id . (\z -> f z 4) . (\z -> f z 3) . (\z -> f z 2)
   / \
  2   s      s 3 (…) == id . (\z -> f z 4) . (\z -> f z 3)
     / \
    3   s    s 4 id  == id . (\z -> f z 4)
       / \
      4   id

Итак, искомая функция

myFoldl f z xs = foldr (\x g a -> g (f a x)) id xs z

1

Это может помочь, я пробовал расширяться другим способом.

myFoldl (+) 0 [1,2,3] = 
foldr step id [1,2,3] 0 = 
foldr step (\a -> id (a+3)) [1,2] 0 = 
foldr step (\b -> (\a -> id (a+3)) (b+2)) [1] 0 = 
foldr step (\b -> id ((b+2)+3)) [1] 0 = 
foldr step (\c -> (\b -> id ((b+2)+3)) (c+1)) [] 0 = 
foldr step (\c -> id (((c+1)+2)+3)) [] 0 = 
(\c -> id (((c+1)+2)+3)) 0 = ...

1
foldr step zero (x:xs) = step x (foldr step zero xs)
foldr _ zero []        = zero

myFold f z xs = foldr step id xs z
  where step x g a = g (f a x)

myFold (+) 0 [1, 2, 3] =
  foldr step id [1, 2, 3] 0
  -- Expanding foldr function
  step 1 (foldr step id [2, 3]) 0
  step 1 (step 2 (foldr step id [3])) 0
  step 1 (step 2 (step 3 (foldr step id []))) 0
  -- Expanding step function if it is possible
  step 1 (step 2 (step 3 id)) 0
  step 2 (step 3 id) (0 + 1)
  step 3 id ((0 + 1) + 2)
  id (((0 + 1) + 2) + 3)

Ну, по крайней мере, мне это помогло. Даже не совсем верно.


фактическая последовательность foldr step id [1, 2, 3] 0-> step 1 (foldr step id [2, 3]) 0-> (foldr step id [2, 3]) (0 + 1)-> step 2 (foldr step id [3]) (0 + 1)-> (foldr step id [3]) ((0 + 1) + 2)-> step 3 (foldr step id []) ((0 + 1) + 2)-> (foldr step id []) (((0 + 1) + 2) + 3)-> id (((0 + 1) + 2) + 3).
Уилл Несс

0

Этот ответ позволяет легко понять приведенное ниже определение за три шага.

-- file: ch04/Fold.hs
myFoldl :: (a -> b -> a) -> a -> [b] -> a

myFoldl f z xs = foldr step id xs z
    where step x g a = g (f a x)

Шаг 1. Преобразуйте кратность оценки функции в комбинацию функций

foldl f z [x1 .. xn] = z & f1 & .. & fn = fn . .. . f1 z. в котором fi = \z -> f z xi.

(Используя z & f1 & f2 & .. & fnэто означает fn ( .. (f2 (f1 z)) .. ).)

Шаг 2. выразите комбинацию функций в foldrвиде

foldr (.) id [f1 .. fn] = (.) f1 (foldr (.) id [f2 .. fn]) = f1 . (foldr (.) id [f2 .. fn]). Остальное разверните, чтобы получить foldr (.) id [f1 .. fn] = f1 . .. . fn.

Заметив, что последовательность перевернута, мы должны использовать перевернутую форму (.). rc f1 f2 = (.) f2 f1 = f2 . f1Тогда дайте определение foldr rc id [f1 .. fn] = rc f1 (foldr (.) id [f2 .. fn]) = (foldr (.) id [f2 .. fn]) . f1. Остальное разверните, чтобы получить foldr rc id [f1 .. fn] = fn . .. . f1.

Шаг 3. Преобразуйте свертку в списке функций в свертку в списке операндов.

Найдите stepто, что делает foldr step id [x1 .. xn] = foldr rc id [f1 .. fn]. Легко найти step = \x g z -> g (f z x).

В 3 шага определение foldlиспользования foldrясно:

  foldl f z xs
= fn . .. . f1 z
= foldr rc id fs z
= foldr step id xs z

Докажите правильность:

foldl f z xs = foldr (\x g z -> g (f z x)) id xs z
             = step x1 (foldr step id [x2 .. xn]) z
             = s1 (foldr step id [x2 .. xn]) z
             = s1 (step x2 (foldr step id [x3 .. xn])) z
             = s1 (s2 (foldr step id [x3 .. xn])) z
             = ..
             = s1 (s2 (.. (sn (foldr step id [])) .. )) z
             = s1 (s2 (.. (sn id) .. )) z
             = (s2 (.. (sn id) .. )) (f z x1)
             = s2 (s3 (.. (sn id) .. )) (f z x1)
             = (s3 (.. (sn id) .. )) (f (f z x1) x2)
             = ..
             = sn id (f (.. (f (f z x1) x2) .. ) xn-1)
             = id (f (.. (f (f z x1) x2) .. ) xn)
             = f (.. (f (f z x1) x2) .. ) xn

in which xs = [x1 .. xn], si = step xi = \g z -> g (f z xi)

Если вы обнаружите, что что-то неясно, добавьте комментарий. :)

Используя наш сайт, вы подтверждаете, что прочитали и поняли нашу Политику в отношении файлов cookie и Политику конфиденциальности.
Licensed under cc by-sa 3.0 with attribution required.