一个更严格的控制。Monad.Trans.Writer.Strict

因此,我们有:

import Control.Monad.Writer.Strict

type M a = Writer (Map Key Val) a

对一些人来说 Key 和 Val .

只要我们不查看收集的输出,一切都正常:

report comp = do
  let (a,w) = runWriter comp
  putStrLn a

然而,如果我们想检查 w ,我们得到堆栈溢出。

 report comp = do
   let (a,w) = runWriter comp
   guard (not $ null w) $ do -- forcing w causes a stack overflow
     reportOutputs w
   putStrLn a

我认为原因是因为 (>>=) 对于 Writer is defined as :

m >>= k  = WriterT $ do
    (a, w)  <- runWriterT m
    (b, w') <- runWriterT (k a)
    return (b, w `mappend` w')

如果我有一个大的 Writer a 计算,它建立了一个长序列的映射: w <> (w' <> (w'' <> ...)) 在这种情况下 Map.union 这在地图的背面是严格的。因此,如果我建立了一个大的联合序列,那么当我强制Map溢出堆栈时,就必须对整个事情进行评估。

我们想要的是尽早履行工会。我们需要更严格的严格要求。作者:

m >>= k = WriterT $ do
    (a, w) <- runWriterT m
    (b, w') <- runWriterT (k a)
    let w'' = w `mappend` w'
    w'' `seq` return (b, w'')

所以我的问题是:这是否存在于某个“标准”库中?如果没有,为什么不呢?