18
私はLYAHを読んでいて、NumクラスはOrdのサブセットではないことを読んでいました。これは、OrdのメンバーではないNum型があることを意味し、そのような型を構成できるものは何ですか?HaskellクラスOrdにはNumは含まれていませんか?
注:NumはOrdのサブクラスではありません。つまり、数字のために を構成するものは、実際に注文に従う必要はありません。だから なぜNumとOrdクラスの制約を指定しなければならないのですか? 加減算と比較を行うとき。
ありがとうございます!
ああ!それは理にかなっています。ありがとう! – Guido
辞書順に並べても何が問題になりますか? – semicolon
@semicolon乗算と互換性のある複素数の順序はありません。 http://math.stackexchange.com/questions/492890/ordering-on-complex-numbersを参照してください。 – kennytm