Czytałem LYAH i przeczytałem, że klasa Num nie jest podzbiorem Ord. Oznacza to, że istnieje typ Num, który nie jest członkiem Ord, co może stanowić taki typ?Klasa Haskella Num nie zawarta w Ord?
Uwaga: Num nie jest podklasą klasy. Oznacza to, że to, co stanowi numer , nie musi być zgodne z zamówieniem. To jest , dlatego musimy określić ograniczenia zarówno Num i Ord, gdy robi dodawanie lub odejmowanie, a także porównanie.
Dzięki!
Oh! Ok, to ma sens. Dzięki! – Guido
Co jest złego w porządkowaniu leksykograficznym? – semicolon
@semicolon Nie ma uporządkowania liczby zespolonej, która jest zgodna z jej mnożeniem. Zobacz http://math.stackexchange.com/questions/492890/ordering-on-complex-numbers. – kennytm