Lesen von n Zeilen in eine [Zeichenfolge]

Question

Ich versuche n Zeilen mit Inhalt in eine Liste von Strings zu lesen. Ich habe verschiedene Varianten des Codes unten versucht, aber nichts hat funktioniert.

main = do 
    input <- getLine 
    inputs <- mapM getLine [1..read input] 
    print $ length input 

Dies führt den folgenden Fehler:

Couldn't match expected type `a0 -> IO b0' 
       with actual type `IO String' 
    In the first argument of `mapM', namely `getLine' 
    In a stmt of a 'do' block: inputs <- mapM getLine [1 .. read input] 
    In the expression: 
     do { input <- getLine; 
      inputs <- mapM getLine [1 .. read input]; 
      print $ length input } 

Und

main = do 
    input <- getLine 
    let inputs = map getLine [1..read input] 
    print $ length input 

wirft

Couldn't match expected type `a0 -> b0' 
       with actual type `IO String' 
    In the first argument of `map', namely `getLine' 
    In the expression: map getLine [1 .. read input] 
    In an equation for `inputs': inputs = map getLine [1 .. read input] 

Wie kann ich das tun?

Answer 1

Verwenden replicateM von Control.Monad:

main = do 
    input <- getLine 
    inputs <- replicateM (read input) getLine 
    print $ length inputs 

Im Geist einem Mann einen Fisch von dem,/einen Mann unterrichten zu fischen: Sie dies selbst haben könnten Hoogle durch die Suche gefunden.

Sie haben:

• eine Aktion vom Typ dieser Aktion (Typ Int)

Sie wollen durchführen IO String

einige Male auszuführen:

• eine Aktion vom Typ IO [String]

So konnte man search Hoogle for (IO String) -> Int -> (IO [String]). replicateM ist der erste Treffer.

Answer 2

Eine andere Möglichkeit, diese Aktion tun kann, ist durch die reine Wiederholung verwenden und das sequence :: (Traversable t, Monad m) => t (m a) -> m (t a) Werkzeug. Sagen wir zuerst, wir werden nach einer Zählung fragen und dann nach so vielen ganzen Zahlen fragen, um ihre Summe auf dem Terminal auszudrucken.

sumCountManyData :: IO() 
sumCountManyData = putStr "How many integers to sum..? " 
        >> getLine 
        >>= sequence . flip replicate getLine . read 
        >>= print . sum . map read