这是一个基于Map和归约（折叠）的算法。它表示埃拉托斯烯的筛
     p={3,5,7，…}\u{{p2，p2+2p，p2+4p，…}p在p}
对于奇数素数（即没有2）。折叠树无限地向右侧加深，如下所示：

其中，每个素数表示该素数的奇数倍流，例如，对于7:49，49+14，49+28，把这些数合并得到所有的合数，然后在合数之间的空隙中找到素数。它是在haskell中，因此计时由lazy求值机制隐式处理（以及算法调整，其中每个比较节点总是允许从左侧通过第一个数字，而不要求从右侧通过一个数字，因为它无论如何都保证更大）。
赔率可以用来代替奇数素数作为生成倍数的种子，以简化事情（具有明显的性能影响）。
这项工作自然可以分成连续素数平方之间的部分。haskell代码如下，但我们也可以将其视为可执行伪代码（其中 : 是一个列表节点惰性构造函数，一个函数调用 f(x) 是书面的 f x ，括号仅用于分组）：

primes = 2 : g []
  where
    g ps = 3 : minus [5,7..] (_U [[p*p, p*p+2*p..] | p <- g ps])
    _U ((x:xs):t) = x : union xs (_U (pairs t))
    pairs ((x:xs):ys:t) = (x : union xs ys) : pairs t

union (x:xs) (y:ys) = case compare x y of 
    LT -> x : union  xs (y:ys) 
    EQ -> x : union  xs    ys 
    GT -> y : union (x:xs) ys

minus (x:xs) (y:ys) = case compare x y of
    LT -> x : minus  xs (y:ys) 
    EQ ->     minus  xs    ys 
    GT ->     minus (x:xs) ys

这里有一个讨论。更复杂、更懒散的日程安排在这里。同样，这个答案显示了（相关的）haskell代码在生成器方面的近似翻译；这个是python的。