为什么haskellwiki素数实现有单位参数

Question

标题是什么。

从haskellwiki素数页面摘录的示例：

{-# OPTIONS_GHC -O2 -fno-cse #-}
primesTME () = 2 : ([3,5..] `minus` join [[p*p,p*p+2*p..] | p <- primes']) 
  where
    ....

()参数的目的是什么？没有它，代码似乎工作正常。我的猜测是它具有强制为每个应用程序重新计算素数列表的效果，但为什么这是可取的？

Answer 1

您是否希望在内存中拥有1000000+素数的持久列表，以后只需要8MB内存？如果没有，请使用虚拟arg和一些标志以避免共享。