0

Haskell の型クラスで遊んで、要素がその型クラスのインスタンスではないリストの型クラスのインスタンスを作成しました。

class Three a where
    three :: a -> [a]

instance (Three a) => Three [a] where
    three x = [x, x, x]

整数のリストと文字のリストで異なるエラー メッセージが表示されます。

文字

*Main> three ['c']

<interactive>:11:1:
    No instance for (Three Char)
      arising from a use of `three'
    Possible fix: add an instance declaration for (Three Char)
    In the expression: three ['c']
    In an equation for `it': it = three ['c']

整数

*メイン> 3 [1, 2]

<interactive>:12:8:
    Ambiguous type variable `t0' in the constraints:
      (Num t0) arising from the literal `1' at <interactive>:12:8
      (Three t0) arising from a use of `three' at <interactive>:12:1-5
    Probable fix: add a type signature that fixes these type variable(s)
    In the expression: 1
    In the first argument of `three', namely `[1, 2]'
    In the expression: three [1, 2]

どうして？？

(これで、Chars のエラーは理解されました。そのインスタンスはありません。しかし、Integers のあいまいなエラーは私にはわかりません。整数は既に何か (Num) のインスタンスであるため、そうではないのではないかと考えたので、作成しました別の任意の型クラスと Char のインスタンスですが、以前と同じ Char のエラーが発生しました)。

私はあなたの助けに感謝します

4

1 に答える 1

0

最初のエラーは、 のインスタンスがないことを示していThreeますChar。おっしゃるとおり、簡単！

ただし、2 番目のケースでは、数値リテラルの型が不明/多態的であるため、GHC はそれらのインスタンスがあるかどうかを判断できません。したがって、エラーはインスタンスの欠落に関するものではなく、あいまいな変数に関するものです。

たとえば、Threeと の両方Intに有効なインスタンスを持つことができますDouble。GHC はどのように選択するかを知ることができますか?

(つまり、拡張デフォルトを無視します)。

エラーの種類が実際には異なるため、エラーは異なります。

于 2013-01-31T18:35:56.690 に答える