performance - Haskell 不会垃圾收集列表的头部吗？

Question

考虑以下程序:

module Main where

import Control.Monad.List

main = runListT $ do
  x <- ListT $ return $ [0..1000000000]
  lift $ print x

理想情况下，我们希望列表在我们使用它时被垃圾收集，以便该程序只使用常量内存。但是当我编译并运行它时
ghc Main.hs -O2 -o Main
我看到它继续使用越来越多的内存。我如何说服 Haskell GC 列表中消耗的元素？

Answer 1

ListT在 transformers不会在恒定空间中流式传输或运行。 ListT在 pipes做!

import Control.Monad (mzero)
import Pipes

main = runListT (do
    x <- Select (each [0..1000000000])
    lift (print x)
    mzero )

我也刚上传 pipes-4.1.4今天，放松了 runListT不需要 mzero最后，那么它只会是:

-- Requires `pipes-4.1.4`
import Pipes

main = runListT (do
    x <- Select (each [0..1000000000])
    lift (print x) )