有递归的麻烦和不匹配型哈斯克尔

Question

-- genrep 
genrep :: a -> Int -> [a] 
genrep a n 
    | n == 0 = [] 
    |otherwise = a ++ genrep (a (n-1)) 

所以我试图在哈斯克尔简单的复制功能 - 一个将采取泛型类型和复制了N次。但是，上述似乎并不奏效。我一直得到这个错误代码：

*** Expression  : a ++ genrep (a (n - 1)) 
*** Term   : genrep (a (n - 1)) 
*** Type   : Int -> [b] 
*** Does not match : [a] 

谁能告诉我发生了什么事？该函数看起来对我来说是正确的，但Haskell似乎并不喜欢这样。

Answer 1

更改此：

| otherwise = a ++ genrep (a (n-1)) 

这样：

| otherwise = [a] ++ genrep a (n-1) 

您当前的版本调用genrep递归只有一个参数时，它需要两个。额外的括号不是必需的。

编辑：我修正了上面的代码，包括[a]而不是只有a。对于那个很抱歉。其实，这是我会建议你做：由于存在重复

genrep = flip replicate 

：

genrep :: a -> Int -> [a] 
genrep a 0 = [] 
genrep a n = a : genrep a (n-1) 

Answer 2

你也可以写：

genrep :: a -> Int -> [a] 
genrep a n = take n (repeat a) 

甚至 http://hackage.haskell.org/packages/archive/base/latest/doc/html/src/GHC-List.html#replicate

如果你不知道它的名字，你可以使用这个Hoogle搜索找到它： http://www.haskell.org/hoogle/?hoogle=a+-%3E+Int+-%3E+%5Ba%5D

通常你不必亲手写这种递归，你可以重用像take或repeat之类的函数。