エラー予想されるタイプ 'Char'と実際のタイプ '[Char]'を一致させることができませんでした。

Question

多項式を表すtypeclassのshow関数の文字列表現を作成しようとしています。私は 'Char'から '[Char]'へのミスマッチの型エラーを受け取り続けますが、私の理解から、haskellの "append"関数はCharを文字列/ Charに連結することができます。私はどこに問題があるのか​​、私が受け取ったエラーに基づいて解決策を探すべきかを理解していません。ここに欠陥のあるコードがあります：

newtype Poly a = P [a] 

instance (Num a, Show a) => Show (Poly a) where 
    show p = ["" : form (p !! i) i | i <- [l,(l-1)..0]] 
     where 
      l = length p 
      form e i 
       | i == 0 = elem 
       | i == 1 = elem ++ "x + " 
       | otherwise = elem ++ "x^" ++ (show i) ++ " + " 
        where elem = show e 

ご協力いただきありがとうございます。

Answer 1

あなたは、文字列/ [シャア]にチャーを連結することができるはず私の理解のHaskellの「追加」機能から

を書きます。

このアイデアはどこにあるのかわかりません。それは間違っています。私はあなたが定義したと推測しています

type Poly a = [a] 

と私はその仮定に行きます。

instance (Num a, Show a) => Show (Poly a) where 

これは間違っています。 Polyはの同義語です。インスタンスを宣言できるのは、適切なファーストクラスの型（型コンストラクタをゼロまたは複数の型変数に適用する）のためだけです。あなたは

newtype Poly a = Poly {getPoly :: [a]} 

、代わりに、使用することによってこの問題を解決することができますが、あなたは、必要に応じて Polyデータコンストラクタをアンラップ/ラップする必要があります。この権利を取得したら、あなたが与えた Numの制約は不要であることが分かります。

show p = ["" ++ form (p !! i) i | i <- [(length p)..0]] 

いくつかの問題があります。大きなことは、これは文字列（文字のリスト）を定義するのではなく、文字列のリストを定義するということです。一般的にはconcatを適用して修正できます。もう1つは"" ++ anythingがただanythingであることです。なぜなら、空のリストを別のリストに連結することは何もしないからです。 3番目の問題は、カウントダウンしようとしていることですが、間違ってしまっています。その表記はカウントアップするだけです。

let lp = length p in [lp, (lp-1) .. 0] 

私は（これらのミスのいくつかは、前二行に繰り返されます）すぐにご覧最後の事：

| otherwise = e ++ "x^" ++ i ++ " + " 

を今すぐカウントダウンするには、あなたがカウントダウンすることを示さなければなりませんiはIntであり、++はリストに対してのみ機能します。それはうまくいきません。最初にiをshowを使用して文字列に変換する必要があります。 eはタイプaであり、showも使用して文字列に変換する必要があります。