Jak poprawnie wydrukować znak nowej linii w Haskell?

Question

starałem się uczynić Tic Tac Toe gry dla miesięcznego kursu i napisał ten kod, aby pierwsze pole:

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

uzyskać to wyjście w GHCi:

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

chciałem dostać :

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

Jak mogę wydrukować taką siatkę?

Answer 1

Spróbuj czegoś takiego:

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

wtedy wyjście pudełka za pomocą putStr:

main = putStr box 

Co unlines robi to wziąć listę ciągów i połączyć je ze sobą za pomocą nowej linii. Zasadniczo traktuje listę łańcuchów jako listę linii i przekształca je w jeden ciąg znaków.

putStr po prostu drukuje ciąg do STDOUT. Jeśli użyjesz print lub GHCi do wyświetlenia ciągu znaków, znaki nowej linii będą renderowane jako \n zamiast rzeczywistych znaków nowej linii. Dzieje się tak dlatego, że instancja obiektu String została zaprojektowana tak, aby serializować ciąg znaków, tak jak byś go wprowadził, zamiast go drukować. Zarówno print, jak i GHCi używają show przed wyprowadzeniem do STDOUT.

Jeśli w wierszu GHCi i chcesz zobaczyć, co łańcuch faktycznie wygląda, można użyć putStr bezpośrednio:

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

Answer 2

Innym podejściem jest

main = mapM_ putStrLn box 

mapM :: Monad m => (a -> m b) -> [a] -> m [b] jest analogiem map, ale w przypadku funkcji monadycznych, jego podkreślony kuzyn, mapM_ :: Monad m => (a -> m b) -> [a] -> m() nie zbiera wartości zwracanych i dlatego może być bardziej wydajny. Jeśli wartości zwracane są nieinteresujące, tak jak w przypadku putStrLn s, lepszym wyborem jest mapM_.