Tırnak eklemeyen bir polimorfik "toString" işlevi var mı?

Question

Tanıdığım çoğu OO dilinde, String'un toString yöntemi aslında yalnızca kimlik işlevidir. Ancak Haskell show çift tırnak ekler.

yüzden numaralar

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

ama Yaylı ekstra tırnak

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

zaman ben gerçekten sona için beklendiği gibi çalıştığını bu

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

gibi bir işlev şey yazarsanız "onetwothree"'u isteyin.

Polimorfik olarak f yazmak istemiş olsaydım, bunu yalnızca Show kısıtlamasıyla yapmanın ve Örneğini Göster örneğini geçersiz kılmadan yapmanın bir yolu var mı (eğer mümkünse).

Kendi tip sınıf yaratmaktır ile gelebilir iyi:

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

ve her şey için bir örneğini ekleyin?

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

Answer 1

Bunu yapabilirsiniz: bu muhtemelen korkunç bir fikir olduğunu

{-# 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" 

Not.

Answer 2

Sen OverloadedStrings ile newtype kullanabilirsiniz:

{-# 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 

---

çıkışı:

---

Normal durumda çift tırnak

hello world 

aslında yararlıdır geri bir gösterilen dize okurken Değerlerden gösterilen dize değerlerini açıkça sınırladığı için daha büyük ifadenin içeriği Diğer gösterilen türde:

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 sınıfı ve onun ilgili türün Doc Show için gerekli davranışa sahip. Bağlantınız farklı bir kullanım durumunu gösterir; belki soruyu düzenleyebilir misin?

Answer 4

Sorununuzun temel nedeni, show gerçekten renderToText değil. Aynı değeri elde etmek için Haskell koduna yapıştırabileceğiniz veya read kullanarak aynı değere geri dönüştürebileceğin metin üretmesi gerekiyordu. Bu amaç için show "foo" = "foo", show "1" = "1" ve show 1 = "1" bilgi kaybından dolayı çalışmaz.

Eğer "foo" ve 1 almak için almak için "foo" uygulamak isterler operasyon "1"show dışındaki bir şeydir. show sadece bir Java-esque toString değil.

Daha önce buna ihtiyaç duyduğumda, kendi yeni tip sınıfımı yaptım ve bir sürü şey yaptım ve daha sonra bunu Show yerine kullandı. Örneklerin çoğu, show ile uygulandı, ancak özelleştirmek istediğim sadece String değildi, bu yüzden ayrı tip sınıf tamamen boşa değildi. Pratikte, aslında gerçekten ihtiyacım olan bir avuç türü vardı ve derleme hatalarım olduğu için onları eklemek çok kolaydı.