функции более высокого порядка в haskell

Question

У меня есть список с функциями и еще один список с «аргументами», чтобы создать новый список, в котором каждый элемент одного списка сопоставляется с другим элементом другого списка. (Применяются :: Ord и => [v-> и] -> [v] -> [и]) Например,

apply [(^2),(^3),(^4),(2^)] [10] = [100,1000,1024,10000]. or 
apply [reverse,(++"ing"),reverse.(++"ing"),(++"ing").reverse] ["play","do"] = ["doing","gniod","gniyalp","od","oding","playing","yalp","yalping"].. 

Что я могу сделать, потому что я делаю первые шаги в Хаскель. .

Answer 1

Возьмём свой первый список:

[(^2),(^3),(^4),(2^)] 

Это тип xs :: Integral a => [a -> a]

Теперь вы хотите, чтобы применить его к к списку [10]. То, что вы хотите именно Аппликативный функция <*>, тип которой Applicative f => f (a -> b) -> f a -> f b:

λ> import Control.Applicative 
λ> let xs = [(^2),(^3),(^4),(2^)] 
λ> xs <*> [10] 
[100,1000,10000,1024] 

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