haskell无法构造无限类型

Question

我是Haskell的新手。 我写了一个简单的代码。 但这行不通。 我收到此“无法构造无限类型”错误。 如何解决。

reverse' list
        | null list = []
        | otherwise = (reverse' (tail list)) : (head list) 

Answer 1

问题出在您使用:运算符，其类型为

(:) :: a -> [a] -> [a]

因此，它需要一个元素和一个列表，并返回一个以该元素为前缀的新列表。 你在哪里

reverse' (tail list) : head list
-- parentheses removed since they're not needed

“ reverse' (tail list)的类型为[a] ，而首部head list的类型为a ，因此编译器会尝试使其变为a ~ [a] ，这显然是行不通的。 相反，你可以使用++运算符，并把head list到列表本身：

reverse' (tail list) ++ [head list]

但是请记住，这不是一个非常有效的解决方案，因为Hassell列表是单链接列表，所以连接到Haskell列表的末尾比较慢。