haskell - 哈斯克尔筛素数

Question

在以下初筛中：

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

是什么x | x <- xs意思x `mod` p > 0？

Answer 1

[ x | x <- xs, x `mod` p > 0]是由xs 的元素组成的列表xs，但只有那些满足x `mod` p > 0条件的元素（mod返回第一个数字除以第二个数字后的余数，因此您要求的元素xs不能被 整除p）。