Làm cách nào để in dòng mới trong Haskell?

Question

Tôi đã cố gắng để làm Tic Tac Toe trò chơi cho các hướng dẫn hàng tháng và viết mã này để tạo ra một hộp đầu tiên:

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

tôi nhận được kết quả này trong GHCi:

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

tôi muốn để có được :

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

Làm cách nào để in lưới như thế này?

Answer 1

Hãy thử một cái gì đó như:

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

Sau đó, sản lượng hộp bằng putStr:

main = putStr box 

gì unlines làm là lấy một danh sách các chuỗi và tham gia cùng họ với nhau bằng dòng mới. Về cơ bản nó xử lý danh sách các chuỗi như là một danh sách các dòng và biến chúng thành một chuỗi đơn.

putStr chỉ in chuỗi thành STDOUT. Nếu bạn đã sử dụng print hoặc GHCi để xem chuỗi thay vào đó, dòng mới sẽ được hiển thị dưới dạng \n thay vì dòng mới thực tế. Điều này xảy ra vì cá thể show của String được thiết kế để sắp xếp chuỗi ký tự như bạn đã nhập vào chuỗi thay vì in nó. Cả hai print và GHCi sử dụng show trước khi xuất ra STDOUT.

Nếu bạn đang ở dấu nhắc GHCi và muốn xem những gì các chuỗi thực sự trông như thế nào, bạn có thể sử dụng putStr trực tiếp:

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

Answer 2

Một cách khác là

main = mapM_ putStrLn box 

mapM :: Monad m => (a -> m b) -> [a] -> m [b] là tương tự của bản đồ, nhưng đối với các hàm đơn điệu, người anh em họ của nó, mapM_ :: Monad m => (a -> m b) -> [a] -> m() không thu thập các giá trị trả về và do đó có thể hiệu quả hơn. Nếu các giá trị trả về không quan tâm, như đối với putStrLn s, mapM_ là lựa chọn tốt hơn.