Come posso stampare correttamente una nuova riga in Haskell?

Question

Stavo cercando di fare Tic Tac Toe gioco per il tutorial mensile e ha scritto questo codice per fare una scatola prima:

box :: [String] 
box = ["0 | 1 | 2", 
     "---------", 
     "3 | 4 | 5", 
     "---------", 
     "6 | 7 | 8"] 

ottengo questo output in GHCi:

["0 | 1 | 2\n","---------\n","3 | 4 | 5\n","---------\n","6 | 7 | 8\n"] 

volevo arrivare :

0 | 1 | 2 
--------- 
3 | 4 | 5 
--------- 
6 | 7 | 8 

Come posso stampare la griglia in questo modo?

Answer 1

Prova qualcosa di simile:

box = unlines $ ["0 | 1 | 2", 
       "---------", 
       "3 | 4 | 5", 
       "---------", 
       "6 | 7 | 8"] 

poi uscita la casella con putStr:

main = putStr box 

Cosa unlines fa è prendere una lista di stringhe e unirsi a loro insieme usando nuove righe. In pratica tratta l'elenco di stringhe come un elenco di linee e le trasforma in una singola stringa.

putStr stampa la stringa su STDOUT. Se si utilizzava print o GHCi per esaminare la stringa, le nuove righe venivano visualizzate come \n anziché come nuove righe effettive. Ciò accade perché l'istanza show di un String è progettata per serializzare la stringa come se fosse stata inserita anziché stampata. Entrambi print e GHCi utilizzano show prima di eseguire l'output su STDOUT.

Se siete al prompt GHCi e volete vedere che cosa la stringa si presenta come, è possibile utilizzare putStr direttamente:

*Main> putStr box 
0 | 1 | 2 
--------- 
3 | 4 | 5 
--------- 
6 | 7 | 8 
*Main> 

Answer 2

Un altro approccio è

main = mapM_ putStrLn box 

mapM :: Monad m => (a -> m b) -> [a] -> m [b] è l'analogo di mappa, ma per le funzioni monadiche, il suo cugino sottolineato, mapM_ :: Monad m => (a -> m b) -> [a] -> m() non raccoglie i valori restituiti e può quindi essere più efficiente. Se i valori restituiti non sono interessanti, come per putStrLn s, mapM_ è la scelta migliore.