Haskell 中存在递归和类型不匹配问题

Question

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

所以我试图在 haskell 中创建一个简单的复制函数 - 该函数将采用泛型类型 a 并将其复制 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 :: 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)

甚至：

genrep = flip replicate

由于复制存在：
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 之类的函数。