Haskell: Sopprimere le virgolette intorno corde quando mostrato

Question

Il seguente code:

data HelloWorld = HelloWorld; 
instance Show HelloWorld where show _ = "hello world"; 

hello_world = "hello world" 

main = putStr $ show $ (HelloWorld, hello_world) 

Stampe:

(hello world,"hello world") 

mi piacerebbe che la stampa:

(hello world,hello world) 

cioè voglio comportamento come il seguente:

f "hello world" = "hello world" 
f HelloWorld = "hello world" 

Purtroppo, show non soddisfa questo, come:

show "hello world" = "\"hello world\"" 

C'è una funzione che funziona come f che ho descritto sopra?

Answer 1

Non credo ci sia un typeclass standard che farà questo per voi, ma una soluzione sarebbe quella di definire un newtype:

newtype PlainString = PlainString String 
instance Show PlainString where 
    show (PlainString s) = s 

Poi show (PlainString "hello world") == "hello world" e si può usare show come di consueto con altri tipi .

Answer 2

In primo luogo, dare un'occhiata a this question. Forse sarai soddisfatto della funzione toString.

In secondo luogo, show è una funzione che associa un valore a String.

Quindi, ha senso che cita deve essere sfuggito:

> show "string" 
"\"string\"" 

C'è una funzione che funziona come f che ho descritto sopra?

sembra che tu stia cercando id:

> putStrLn $ id "string" 
string 
> putStrLn $ show "string" 
"string" 

Answer 3

Per completare questa ultima risposta, è possibile definire la seguente classe:

{-# LANGUAGE TypeSynonymInstances #-} 

class PrintString a where 
    printString :: a -> String 

instance PrintString String where 
    printString = id 

instance PrintString HelloWorld where 
    printString = show 

instance (PrintString a, PrintString b) => PrintString (a,b) where 
    printString (a,b) = "(" ++ printString a ++ "," ++ printString b ++ ")" 

e la funzione f descritta sarà il printString function