2012-03-22 15 views
18

私はLYAHを読んでいて、NumクラスはOrdのサブセットではないことを読んでいました。これは、OrdのメンバーではないNum型があることを意味し、そのような型を構成できるものは何ですか?HaskellクラスOrdにはNumは含まれていませんか?

注:NumはOrdのサブクラスではありません。つまり、数字のために を構成するものは、実際に注文に従う必要はありません。だから なぜNumとOrdクラスの制約を指定しなければならないのですか? 加減算と比較を行うとき。

ありがとうございます!

答えて

26

Complex number(Data.Complex.Complex)は、数値(Num)ですがオーダーできないオーダーの一例です。

+1

ああ!それは理にかなっています。ありがとう! – Guido

+0

辞書順に並べても何が問題になりますか? – semicolon

+2

@semicolon乗算と互換性のある複素数の順序はありません。 http://math.stackexchange.com/questions/492890/ordering-on-complex-numbersを参照してください。 – kennytm

関連する問題