haskell - Haskell：埃拉托色尼筛法的非详尽模式

Question

我想从这个页面使用这个埃拉托色尼筛的代码：http ://en.literateprograms.org/Sieve_of_Eratosthenes_(Haskell)#chunk def:primes_naive

只有一点修改，所以它只显示素数到一个数字：

primes :: Integral a => a -> [a]
primes m  = sieve [2..m]
  where
    sieve (p:xs) = p : sieve [x|x <- xs, x `mod` p > 0]

但在 WinGHCi 中总是会出现错误（示例 10）：

primes 10
[2,3,5,7*Main> *** Exception: eratosthenes.hs:4:5-55: Non-exhaustive patterns in function sieve

我从递归函数中知道这个错误，例如缺少案例，但是这里缺少什么？

score 5 · Accepted Answer

与网站上的版本不同，您的函数最终会消耗整个列表，因此您需要一个模式匹配[]

sieve [] = []

score 2 · Accepted Answer

正如 zakyggaps 所说，您的版本sieve使用有限列表评估函数[2..m]，最终将评估空列表情况。

解决此问题的另一种方法是使用该函数takeWhile :: (a -> Bool) -> [a] -> [a]进行评估sieve [2..]，直到达到极限 m。

primes :: Integral a => a -> [a]
primes m  = takeWhile (\p -> p <= m) $ sieve [2..]
  where
    sieve (p:xs) = p : sieve [x|x <- xs, x `mod` p > 0]

2 回答 2