Складывание в Haskell с использованием нескольких функций

Question

У меня есть список целых чисел на основе букв. Например:

let charlist = map (ord) "ABCDEF" 

charlist будет выглядеть следующим образом:

[65,66,67,68,69,70] 

У меня есть список из трех функций: (+), (-) и (*). Список в этом примере выглядит следующим образом

let funclist = [(+), (-), (*)] 

Я хочу, чтобы применить функции в порядке между элементами в charlist (если есть больше «пространства» в charlist чем есть элементы funclist, вы начать с начала funclist) и вычислить окончательное значение слева направо, как в следующем:

s = ((((((65) + 66) - 67) * 68) + 69) - 70) 

Я думал об использовании foldl, б ut foldl, похоже, работает только с одной функцией. Есть ли другой способ сделать это? Я хотел бы обобщить весь этот процесс в одной функции, если это возможно, хотя это не требование.

Answer 1

Хотя foldl может применяться только одну функцию, вы можете иметь различные функции в данных. Хитрость прикрепить к вашим данным соответствующие функции +, - или *. Ты сошел с правого начала:

funclist = [(+), (-), (*)] 

Но давайте прямо сейчас сделать бесконечную версию приведенного выше списка, как [(+), (-), (*), (+), (-), (*)...]

infinite_funclist = cycle funclist 

Позволяет назначить номера мы собираемся свернуть здесь.first в этом случае 65, rest является [66..70]

(first:rest) = [65..70] 

Теперь мы пронестись вместе rest и infinite_funclist получить [(66,(+)), (67,(-)), (68,(*)), (69,(+)), (70,(-))]. Мы начинаем с first, и для каждого нового элемента, мы применяем операцию, во второй части текущего кортежа к текущему значению и первой части, как так:

result = foldl' (\acc (v, f) -> acc `f` v) first (zip rest infinite_funclist) 

Если мы хотим напечатать результат мы может сделать это следующим образом:

main = print result 

(Ссылка на код here)

Answer 2

По существу, это застежка-молния, а не складка. Nicest бы

> zipWith ($) (цикл funclist) charlist
[(65+), (66-), (67 *), (68+), (69-), (70+)]

, но из-за левой ассоциативности и начального элемента нам нужно сделать, это немного более многословным

> пусть ptApplied = хвост. zipWith (($). флип) (цикл funclist) $ charlist
ptApplied = [(+66), (вычесть 67), (* 68), (+69), (70) вычесть]

только тогда приходит складка

> foldl»(флип ($)) (глава charlist) ptApplied

Answer 3

Кто говорит, что вы не можете "передать переменные" в foldl?

Prelude> let f = [(+), (-), (*)] 

Prelude> let c = [65,66,67,68,69,70] 

Prelude> foldl (\(a,i) val -> ((f!!(mod i 3)) a val,i + 1)) (head c,0) (tail c) 
(4351,5) 

Answer 4

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

Prelude Data.List> snd $ foldl' (\(f:fs, acc) x -> (fs, f acc x)) 
           ((+):cycle funclist, 0) [65,66,67,68,69,70] 
4351 

(я вставил дополнительный (+) на передней funclist так, что «реальный» плюс приходит от 65 до 66 лет, а не между начальным аккумулятором 0 и 65)