Haskell:使用Eratosthenes筛子的非详尽模式

Question

我想从这个页面使用Sieve of Eratosthenes的代码:http://en.literateprograms.org/Sieve_of_Eratosthenes_(Hackaskell)#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

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

Answer 1

与网站上的版本不同,您的函数最终将使用整个列表,因此您需要匹配模式 []

sieve [] = []