使用 do 语法创建列表？

Question

我对 Haskell 比较陌生。我正在 happstack-lite 之上创建一个小型 api/dsl ，它将有一个更类似于 Sinatra 的界面，主要是为了学习。作为其中的一部分，我想使用 do 语法构造一个数组（基本上是因为它比 msum [route,route,route] 更漂亮。monad 的用法看起来像this：

someFunctionThatMakesStrings :: String

unwrapMyMonadAndGiveMeAList :: MyMonad _ -> [String]

makeAList :: [String]
makeAList = unwrapMyMonadAndGiveMeAList do
    someFunctionThatMakesStrings
    someFunctionThatMakesStrings
    someFunctionThatMakesStrings
    ...

所以 makeAList 将返回一个包含 3 个字符串的列表。请注意，我想使用其中不知道 monad 的函数（它们只返回一个字符串）

，但每个调用的函数都有。要意识到Writer monad，而且它看起来也有点矫枉过正（我不需要返回类型元组，而且我让它工作的方式涉及大量包装/展开）

我尝试使用列表 monad 本身，但它显然是为了某些东西 那么我的哪些假设

需要改变，然后我如何从头开始创建一个新的列表构造单子呢？

Answer 1

Writer 绝对是您想要的；您可以避免将 Writer 暴露给外部，但代价是定义本身会增加一点开销：

foo :: [String]
foo = execWriter $ do
  tell otherList1
  tell otherList2
  tell otherList3

otherList1 :: [String]
otherList1 = execWriter $ do
  ...

即，您可以将 Writer 的使用保留在每个定义本地，但必须包装每个定义您想要在 tell 中用作“源”的列表。这里的关键是使用 execWriter，它会丢弃元组的结果元素（它与 snd . runWriter 相同）。

然而，如果你有很多这样的定义，我建议直接使用 Writer，并且只在你想要组合结果的地方应用 execWriter；您可以通过定义类似 type Foo = Writer [String] 的同义词来使类型更加简洁。

我不确定构建自己的列表创建 monad 会有什么优势；它最终将与 Writer [String] 相同。

列表单子确实与您想要在这里执行的操作无关。

---

就定义您自己的列表写入 monad 而言，它非常简单：

data ListWriter a = ListWriter a [String]

runListWriter :: ListWriter a -> (a, [String])
runListWriter (ListWriter a xs) = (a, xs)

execListWriter :: ListWriter a -> [String]
execListWriter = snd . runListWriter

instance Monad ListWriter where
  return a = ListWriter a []
  ListWriter a xs >>= f = ListWriter b (xs ++ ys)
    where ListWriter b ys = f a

唯一棘手的部分是 (>>=)，我们必须只获取左侧参数的值部分，将其输入到右侧参数中，将其拆开，然后将两个列表组合在里面，并用右侧的结果将其包装起来。