クォートを追加しない多相の `toString`関数はありますか？

Question

私がよく知っているほとんどのオブジェクト指向言語では、StringのtoStringメソッドは、実際には唯一の識別関数です。しかし、ハスケルではshow二重引用符を追加します。

だから私はこの

f :: Show a => [a] -> String 
f = concat . map show 

のような関数の何かを書く場合に予想されるとして、それは数字

f [0,1,2,3] -- "0123" 

のために動作しますが、とき、本当に私の文字列は、余分な引用符で

f ["one", "two", "three"] -- "\"one\"\"two\"\"three\"" 

を終わります欲しいものは"onetwothree"です。

多態的にfと書いたければ、Showという制約でそれを行い、文字列のShowインスタンスをオーバーライドしないでください（それが可能であれば）。

class (Show a) => ToString a where 
    toString = show 

、すべてのインスタンスを追加します。

私が思い付くことができる最高のは、私自身の型クラスを作成するのですか？

instance ToString String where toString = id 
instance ToString Char where toString = pure 
instance ToString Int 
instance ToString Maybe 
...etc 

Answer 1

あなたはこれを行うことができます。これはおそらく恐ろしい考えであることを

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

class Show a => ToString a where 
    toString :: a -> String 

instance Show a => ToString a where 
    toString = show 

instance ToString String where 
    toString = id 

Prelude> toString "hello" 
"hello" 
Prelude> toString 3 
"3" 

注意。

Answer 2

あなたはOverloadedStringsでnewtypeを使用することができます。

{-# LANGUAGE OverloadedStrings #-} 

import   Data.ByteString.Char8  (ByteString) 
import qualified Data.ByteString.Char8 as B 

newtype LiteralString = LS ByteString 
instance IsString LiteralString where fromString = LS . B.pack 
instance Show  LiteralString where show (LS x) = B.unpack x 
instance Read  LiteralString where readsPrec p s = map (\(!s, !r) -> (LS s,r)) $! readsPrec p s 

hello :: LiteralString 
hello = "hello world" 

main :: IO() 
main = putStrLn . show $! hello 

---

出力：

hello world 

---

背中で示す文字列を読み込むときに、通常の場合は二重引用符は、実際に便利ですより大きな表現のコンテキストは、文字列の値を値から明確に区切ります他に示すタイプの：

x :: (ByteString, Int) 
x =  read . show $! ("go", 10) 
-- string value starts --^^-- ends 

y :: (LiteralString, Int) 
y =  read . show $! ("go", 10) 
-- string value starts --^  ^consumes all characters; read fails 

Answer 3

Prettyクラスとそれに対応するタイプDocはショーのために必要な行動を持っています。ただし、リンクによって異なるユースケースが示されます。多分あなたはその質問を編集できますか？

Answer 4

あなたの問題の根本的な原因は、showは実際にはrenderToTextではないと思います。 Haskellのコードに貼り付けて同じ値を取得するか、readを使って同じ値に戻すことができるテキストを生成するはずです。

このため、show "1" = "1"とshow 1 = "1"は情報を失うため、show "foo" = "foo"は機能しません。

あなたは"foo"と1には、取得するために取得する"foo"には適用することができるようにしたい操作が"1"show以外のものです。 showはJava-esqueではありませんtoString。

私がこれを必要としていたとき、私は自分の新しいタイプのクラスを作って、そのインスタンスをたくさん作って、それをShowではなく使っていました。ほとんどのインスタンスはshowで実装されていましたが、Stringは私がカスタマイズしたい唯一のものではありませんでしたので、別のタイプのクラスが完全に無駄にならないようにしました。実際には、実際にインスタンスが必要な型はほんの一握りであることがわかりました。コンパイルエラーが発生したときにそれらを追加するのはかなり簡単でした。