haskell - Haskell、文字列に変換するパラメータ化されたデータ型

Question

これが私のデータ型です：

data Foo a =  Value Integer
           |Boo a

Fooデータ型を文字列に変換する関数があります。

showFoo::Show a=> Foo a -> String
showFoo (Value n) = show n
showFoo (Boo a) = show a

例：showFoo（値10）は "10"になりますが、showFoo（Boo "S"）の場合は "\" S \ ""になりますが、必要なのは"S"だけです。

score 4 · Accepted Answer

これは、文字列を使用した場合の動作に要約されshowます。 showは機械可読出力を提供するように設計されており、きれいなプリンターではないため、すべての文字列を引用符で囲みます。そうすれば、それがそれらを読み返しているときとの違いを知ることができます10。"10"

あなたのshowFoo関数は明らかにshow家族の中にあるように設計されていません。なぜならそれはValueとBooタグを消し去るので、使うshowことはあなたが本当に意味することではありません。

可能な解決策：

諦め、豚全体に行き、派生しますShow。
が常に文字列の場合aは、データ型を変更し、を使用しないでくださいshow。
型クラスについてもう少し学び、独自のShowishクラスを定義します。-XFlexibleInstances文字列のインスタンスをオーバーライドするには、とを使用-XOverlappingInstancesします。引用符は使用しないでください。
を使用してハックするinit.tail.show $ a

score 1 · Accepted Answer

これは、GHCiを使用した結果であり、前の結果を示しています。コンパイルされたプログラムでこれを試すか、（GHCiで）実行してみてください。文字列putStrLn (showFoo (Boo "S"))を呼び出すとshow、引用符のセットが1つになることがわかります。

2 に答える 2