Question

只有putChar我可以做这样的事情：

f = 
  do
    putChar 'a'
    putChar 'b'
    g
    putChar 'f'
    putChar 'g'

g =
  do
    putChar 'c'
    putChar 'd'
    putChar 'e'

当我“跑”这个时，我会发现（通过说main = f）它会按顺序打印出来的字符。

我正在寻找的是非IO版本。有点像这样的东西：

f = 
  do
    append 'a'
    append 'b'
    g
    append 'f'
    append 'g'

g =
  do
    append 'c'
    append 'd'
    append 'e'

一个函数，比如runAppend :: t a -> [a]

这样runAppend f = ['a','b','c','d','e','f','g']

当然，我希望它在线性时间内运行（即，当你以错误的顺序进行连接时，不会遇到像++这样的问题。）

这似乎是一个相当常见的用例，所以我猜它存在，如果有人能指出我会那么好，我不想重新发明轮子。

Answer 1

Writer monad这样做：

> let g = tell "b" >> tell "c" >> tell "d"
> runWriter (tell "a" >> g >> tell "e")
((),"abcde")

Answer 2

您可以使用Writer monad：

import Control.Monad.Writer
import Data.DList (DList)
import qualified Data.DList as DList

type Append c = Writer (DList c)

append :: c -> Append c ()
append = tell . pure

runAppend :: Append c () -> [c]
runAppend = DList.toList . execWriter

f, g :: Append Char ()

这比必要的要复杂一些，因为它使用的是DList Char而不是String。 DList为这种情况提供了一个高效的Monoid实例，您可以继续追加到最后。

附加monad

2 个答案: