18
Stavo leggendo LYAH e ho letto che la classe Num non è un sottoinsieme di Ord. Ciò significa che esiste un tipo Num che non è un membro di Ord, cosa potrebbe costituire un simile tipo?Classe Haskell Num non contenuta in Ord?
Nota: Num non è una sottoclasse di Ord. Ciò significa che ciò che costituisce per un numero non deve necessariamente rispettare un ordine. Quindi questo è perché dobbiamo specificare entrambi i vincoli della classe Num e Ord quando fa addizione o sottrazione e anche confronto.
Grazie!
Oh! Ok, questo ha senso. Grazie! – Guido
Cosa c'è di sbagliato nell'ordinarlo lessicograficamente? – semicolon
@semicolon Non esiste un ordinamento di numero complesso che sia compatibile con la sua moltiplicazione. Vedi http://math.stackexchange.com/questions/492890/ordering-on-complex-numbers. – kennytm