haskell - 在一个 monad 中绑定(bind)一个函数 n 次

Question

我已经看到使用 iterate 的解决方案或 replicate为了应用函数n次。但是，我没有设法在 State monad 中使用它。

此代码有效:

-- Stuff an empty game level with obstacles.
generateLevel :: Level -> State StdGen Level
generateLevel lvl =
    placeRandomWall lvl >>= placeRandomWall >>= placeRandomWall

不出所料，这个也有效:

generateLevel :: Level -> State StdGen Level
generateLevel lvl =
    placeRandomWall =<< placeRandomWall =<< placeRandomWall lvl

但是，这与以下内容不同:

generateLevel :: Level -> State StdGen Level
generateLevel lvl =
    (placeRandomWall =<< placeRandomWall =<< placeRandomWall) lvl

最新的提示类型。因此，我不能 foldl (=<<) id (relicate 42 placeRandomWall) ，我也不能 iterate .

这是有道理的，因为迭代需要 a -> a功能，而我拥​​有的是 a -> m a或类似的东西。所以，我真的不知道如何从那里去。

Answer 1

我想你正在寻找 <=<和 >=>来自 Control.Monad .它们可以折叠在您使用 replicate 创建的列表中创建一个大 Action 。

试试 foldr (<=<) return (replicate 42 placeRandomWall) .