Mappatura su IO in Haskell

Question

C'è un modo tradizionale per mappare su una funzione che utilizza IO? In particolare, mi piacerebbe mappare su una funzione che restituisce un valore casuale di qualche tipo. Usando una mappa normale si otterrà un output di tipo ([IO b]), ma per decomprimere i valori nella lista da IO, ho bisogno di qualcosa di tipo (IO [b]). Così ho scritto ...

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) 

... che funziona bene. Ma sembra che ci dovrebbe essere una soluzione per questo costruito in Haskell. Per esempio, utilizzare un esempio caso:

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

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

Answer 1

Il modo standard è via:

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

che viene realizzato in termini di sequenza:

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

Answer 2

Giusto per aggiungere alla risposta di Don, Dai un'occhiata alla funzione mapM_, che fa esattamente ciò che mapM ma elimina tutti i risultati in modo da ottenere solo effetti collaterali.

Questo è utile se si desidera eseguire i calcoli eseguiti (ad esempio calcoli IO) ma non sono interessati al risultato (ad esempio, scollegamento di file).

E vedere anche forM e forM_.