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]xの要素で構成される のリストですがxs、条件を満たす要素のみx `mod` p > 0です (最初の数値を 2 番目の数値で割った後の剰余をmod返すため、で割り切れないの要素を求めています)。xsp