Haskell: Hiển thị hơi say lên?

Question

Các hiển thị chức năng trong Haskell dường như không làm những gì nó nên:

Prelude> let str = "stack\n\noverflow" 
Prelude> putStrLn str 
stack 


overflow 
Prelude> show str 
"\"Stack\\n\\n\\noverflow\"" 
Prelude> 

Khi tôi tuyên bố chức năng, tôi thường đặt chữ ký kiểu như Hiện, mà không đối phó với dòng mới đúng . Tôi muốn nó xử lý \n làm dòng mới, chứ không phải theo nghĩa đen "\n". Khi tôi thay đổi loại thành Chuỗi, các chức năng hoạt động tốt. Nhưng tôi sẽ phải thực hiện một chức năng riêng biệt cho các số nguyên, phao, vv, vv

Ví dụ, tôi có thể tuyên bố một chức năng:

foo :: (Show x) => x -> IO() 
foo x = do 
    putStrLn $ show x 

... và gọi nó theo cách này:

foo "stack\n\noverflow" 
foo 6 
foo [1..] 

Làm cách nào để nhận lại hàm được mong đợi? I E. chức năng nào tương tự như show nhưng có thể trả lại các chuỗi có chứa dòng mới?

Answer 1

Hợp đồng của phương thức hiển thị trong Haskell là nó tạo ra một chuỗi, khi được đánh giá, mang lại giá trị được hiển thị.

Prelude> let str = "stack\n\noverflow" 
Prelude> putStrLn str 
stack 

overflow 
Prelude> putStrLn (show str) 
"stack\n\noverflow" 
Prelude> 

Answer 2

show hiển thị biến theo cách bạn đã nhập.

Có vẻ khá thường xuyên với tôi.

Answer 3

Có vẻ như bạn đang cố gắng mô phỏng phương pháp ToString, mặc dù một số thuật ngữ của bạn là hơi khó hiểu.

Bạn có thể mô phỏng nó như thế này:

{-# LANGUAGE UndecidableInstances, OverlappingInstances, 
      FlexibleInstances, TypeSynonymInstances #-} 

class ToString a where 
    toString :: a -> String 

instance ToString String where 
    toString = id 

instance Show a => ToString a where 
    toString = show 

Tuy nhiên, như thể hiện bởi pragmas NGÔN NGỮ, đây không phải là rất đáng mơ ước. Để thực sự có được cảm giác về những gì bạn đang cố gắng làm điều đó sẽ dễ dàng hơn nếu chúng tôi có nhiều ngữ cảnh hơn ...

Answer 4

Tôi thực sự không chắc chắn về những gì bạn đang cố gắng làm. Nó sẽ giúp nếu bạn làm rõ một chút. Hiển thị đang làm những gì nó được cho là phải làm. Hiển thị chỉ đơn giản là tạo ra một chuỗi chứa những gì nó được hiển thị.

Answer 5

Kế hoạch của Porges hoạt động và tôi nghĩ nó sẽ đưa ra những gì show thực sự là do hành vi khó hiểu bạn tìm thấy trong ghci sẽ vẫn bật lên nếu bạn nhận được hàm IO mà bạn muốn. Lưu ý rằng tôi đã thêm một thể hiện cho mã Char to Porges, vì bạn có thể muốn không có dấu ngoặc kép.

{-# LANGUAGE UndecidableInstances, OverlappingInstances, 
     FlexibleInstances, TypeSynonymInstances #-} 
class ToString a where 
    toString :: a -> String 

instance ToString String where 
    toString = id 

instance ToString Char where 
    toString x = [x] 

instance Show a => ToString a where 
    toString = show 

foo :: (ToString a) => a -> IO() 
foo x = do {putStrLn $ toString x} 

sau đó, trong ghci, xem điều gì xảy ra với foo.show: "mà chức năng cũng tương tự như show nhưng có thể trở lại chuỗi có chứa ký tự dòng mới"

*Main> let str = "stack\n\noverflow" 
*Main> show str 
"\"stack\\n\\noverflow\""  
*Main> putStrLn str 
stack 

overflow 
*Main> putStrLn (show str) 
"stack\n\noverflow" 
*Main> foo str 
stack 

overflow 
*Main> foo (show str) 
"stack\n\noverflow" 
*Main> foo (show (show str)) 
"\"stack\\n\\noverflow\"" 
*Main> let newl = "\n" 
*Main> foo newl 


*Main> putStrLn newl 


*Main> putStrLn (show newl) 
"\n" 



*Main> foo (show newl) 
"\n" 
*Main> foo (show (show newl)) 
"\"\\n\"" 
*Main> 

Answer 6

Trả lời: id