haskell中的高階函數

Question

我有一個函數列表和一個帶有「參數」的其他列表來創建一個新列表，其中一個列表中的每個元素都映射到另一個列表的另一個元素。 （申請::奧德U => [V->ü] - > [V] - > [U]） 例如，

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以進一步鞏固這些概念。