在monad中绑定一个函数n次

Question

我已经看到使用iterate或replicate为了应用函数n时间的解决方案.但是,我没有设法在州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创建的列表中,以创建一个重要的操作.

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