Haskell IO对象处理问题：实现[Bullet]转IO [Picture]函数

直接用traverse（或等价的mapM）就能实现你要的函数，代码非常简洁：

import Control.Monad (traverse)

f :: [Bullet] -> IO [Picture]
f = traverse render

或者用mapM（它和traverse在列表场景下完全等价）：

import Control.Monad (mapM)

f = mapM render

原理说明 #

你需要的是把[Bullet]转换成IO [Picture]，已知每个Bullet通过render得到IO Picture。这里的核心是把列表里的每个单子操作（IO）执行后，将结果收集到同一个IO上下文里：

• fmap render会把[Bullet]变成[IO Picture]，但这只是一堆独立的IO操作列表，不是你要的IO [Picture]；
• traverse（或mapM）则是把fmap和sequence合并成一步：先对每个元素应用render得到[IO Picture]，再通过sequence把这个列表“翻转”成IO [Picture]——也就是依次执行每个IO操作，把所有Picture结果打包成列表放在IO里。

如果想手动拆解逻辑，也可以写成：

f bullets = sequence (map render bullets)

但traverse是更简洁、更符合Haskell idiom的写法。

内容的提问来源于stack exchange，提问作者Jord van Eldik