Отображение IO в Haskell

Question

Существует ли традиционный способ сопоставления функции, использующей IO? В частности, я хотел бы сопоставить функцию, возвращающую случайное значение. Использование обычной карты приведет к выводу типа ([IO b]), но для распаковки значений в списке из IO мне нужно что-то типа (IO [b]). Поэтому я написал ...

mapIO :: (a -> IO b) -> [a] -> [b] -> IO [b] 
mapIO f [] acc = do return acc 
mapIO f (x:xs) acc = do 
    new <- f x 
    mapIO f xs (new:acc) 

... который отлично работает. Но, похоже, должно быть решение для этого встроенного в Haskell. Например, пример использования:

getPercent :: Int -> IO Bool 
getPercent x = do 
    y <- getStdRandom (randomR (1,100)) 
    return $ y < x 

mapIO (\f -> getPercent 50) [0..10] [] 

Answer 1

Стандартный путь через:

Control.Monad.mapM :: (Monad m) => (a -> m b) -> [a] -> m [b] 

который реализуется в терминах последовательности:

sequence :: (Monad m) => [m a] -> m [a] 

Answer 2

Просто, чтобы добавить к ответу Дона, hake посмотрите на функцию mapM_, которая делает именно то, что делает mapM, но отбрасывает все результаты, поэтому вы получаете только побочные эффекты.

Это полезно, если вы хотите, чтобы выполнялись вычисления (например, вычисления IO), но не заинтересованы в результате (например, открепляющие файлы).

А также см. forM и forM_.