Haskell: Kann "map putStrLn" nicht verwenden?

Question

Ich habe eine Liste von Strings, und versuchte, dies:

ls = [ "banana", "mango", "orange" ] 

main = do 
     map PutStrLn list_of_strings 

, die nicht funktioniert, und ich kann nicht verstehen, warum.

ghc print-list.hs 
print-list.hs:3:0: 
    Couldn't match expected type `IO t' against inferred type `[IO()]' 
    In the expression: main 
    When checking the type of the function `main' 

Irgendwelche Hinweise? Ich nehme an, es hat mit Map zu tun, die eine Liste und nicht einen Wert zurückgibt, aber ich fand keine einfache Möglichkeit, das zu beheben.

Im Moment ist die einzige Möglichkeit, eine Liste von Strings zu drucken, eine Funktion zu schreiben, die die Liste iteriert, jedes Element druckt (drucke, wenn die Liste [a] ist, aber printe und rekursiere, wenn es b)). Aber es wäre viel einfacher, einfach zu verwenden Karte ...

Vielen Dank!

Answer 1

Der Typ der main-Funktion sollte IO t sein (wobei t eine Typvariable ist). Der Typ map putStrLn ls ist [IO()]. Deshalb erhalten Sie diese Fehlermeldung. Sie können dies selbst überprüfen, indem Sie die folgenden in ghci ausgeführt wird:

Prelude> :type map putStrLn ls 
map putStrLn ls :: [IO()] 

Eine Lösung für das Problem mapM verwendet, die die „monadischen“ -Version von map ist. Oder Sie können mapM_ verwenden, das ist das gleiche wie mapM, aber sammelt nicht die zurückgegebenen Werte von der Funktion. Da Sie den Rückgabewert von putStrLn nicht interessieren, ist es besser, hier mapM_ zu verwenden. mapM_ hat die folgende Art:

mapM_ :: Monad m => (a -> m b) -> [a] -> m() 

Hier ist, wie es zu benutzen:

ls = [ "banana", "mango", "orange" ] 
main = mapM_ putStrLn ls 

Answer 2

Ayman Antwort am meisten Sinn für diese Situation macht. Wenn Sie [m()] haben und m() möchten, verwenden Sie sequence_, wobei m eine beliebige Monade sein kann, einschließlich IO.