功能重複N次錯誤

Question

在Haskell中，我嘗試這樣做：

multi::(Num n)=>n->((a->a)->(a->a)) 
(multi 0) f x=x 
(multi n) f x=(multi n-1) f (f x) 

希望能得到那會重複另一個函數的次數的函數。 在ghci中，我得到這個：

[1 of 1] Compiling Main    (pad.hs, interpreted) 

pad.hs:2:8: 
    Could not deduce (Eq n) arising from the literal `0' 
    from the context (Num n) 
     bound by the type signature for 
       multi :: Num n => n -> (a -> a) -> a -> a 
     at pad.hs:1:8-35 
    Possible fix: 
     add (Eq n) to the context of 
     the type signature for multi :: Num n => n -> (a -> a) -> a -> a 
    In the pattern: 0 
    In an equation for `multi': multi 0 f x = x 

pad.hs:3:23: 
    Could not deduce (Num ((a -> a) -> a -> a)) 
     arising from a use of `-' 
    from the context (Num n) 
     bound by the type signature for 
       multi :: Num n => n -> (a -> a) -> a -> a 
     at pad.hs:1:8-35 
    Possible fix: 
     add an instance declaration for (Num ((a -> a) -> a -> a)) 
    In the expression: multi n - 1 
    In the expression: (multi n - 1) f (f x) 
    In an equation for `multi': multi n f x = (multi n - 1) f (f x) 
Failed, modules loaded: none. 

我哈斯克爾一個新手。我該怎麼辦？

Answer 1

你幾乎做到了。最小的修復方法是在n - 1附近添加括號並刪除簽名：

(multi 0) f x=x 
(multi n) f x=(multi (n-1)) f (f x) 

Answer 2

夫婦的事情。你不能檢查Num的平等。您可能正在尋找一個Int。其次，你不需要圍繞多重的偏見，這是爭論。和其他一些格式。

multi :: Int -> (a -> a) -> a -> a 
multi 0 f x = x 
multi n f x = multi (n-1) f (f x) 

你可以使這種類型的簽名更通用，但我們會堅持。但是你可以用更高階的函數來寫這個東西。

multi :: Int -> (a -> a) -> a -> a 
multi n f a = foldl (\v _ -> f v) a [1..n] 

Answer 3

我可以讓你的程序，使得它編譯最小的變化是：

multi::(Eq n, Num n)=>n->((a->a)->(a->a)) 
(multi 0) f x=x 
(multi n) f x=(multi (n-1)) f (f x) 

的Num型類不需要成員已經是Eq成員，所以我們必須指定也是如此。此外，我們想通過n-1作爲參數傳遞給multi。

這個問題在哈斯克爾土地通常用做和iterate!!。

Answer 4

有幾件事情錯在這裏。

Num n並不意味着Eq n，這意味着Num類型類定義中沒有Eq n => Num n約束。爲了在0上匹配模式，您需要將n類型作爲Eq的實例。我只想明確地將其更改爲Int，沒有理由在這一塊額外的代碼普遍性。

接下來，(multi n-1)適用multi到n然後減去1 .B我也清理了代碼，並把括號在正確的地方。

multi:: Int -> (a -> a) -> a -> a 
multi 0 _ x = x 
multi n f x = multi (n-1) f (f x) 

如Cirdec points out你可以用iterate f a !! n做到這一點。

編輯：

如果你想要做的是得到一個功能是f應用n時候你可以做這樣的事情。你就想重複任何功能更換10與n和(1+)。（或僅部分應用multi）

let f = foldr1 (.) (take 10 $ repeat (1+))