为无限列表 Haskell 定义一个函数

Question

我试图将函数写得longer :: [a] -> Int -> Bool这决定了提供的列表是否比参数长。 到目前为止，我写道：

longer :: [a] -> Int -> Bool
hossz (x:xs) = length (x:xs)
hossz [] = 0
longer [] _ = False
longer (x:xs) y | y<0 = error ("negative parameter")
                    | hossz(x:xs)>y = True
                    | otherwise = False

在我为它提供一个无限列表（例如更长的 [1..] 10）之前，这一切都很好，很花哨，它会卡在某种无限循环中，只是没有完成运行。 所以问题是，是否有一种方法可以定义它，如果它得到一个无限列表，它只会返回 True 而不会尝试计算整个事情？ 先感谢您

Answer 1

length正在尝试计算列表的长度，对于无限列表，这需要永远。

不过，您根本不需要计算长度。 您只需要使用较小的整数在尾部递归。 当整数达到 0 时，列表要么为空，要么不为空； 多久都没有关系。

longer :: [a] -> Int -> Bool
longer _ n | n < 0 = True
longer xs 0 = ...
longer [] n = False  -- n > 0
longer (x:xs) n = longer xs (n - 1)