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

Question

我正在尝试编写更长的函数：[a]-

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)