2012-03-22 11 views
18

Estaba leyendo LYAH y leí que la clase Num no es un subconjunto de Ord. Esto significa que hay un tipo Num que no es miembro de Ord, ¿qué podría constituir tal tipo?Haskell class Num no incluido en Ord?

Nota: Num no es una de las subclase de Ord. Eso significa que lo que constituye para un número en realidad no tiene que cumplir con un pedido. Así que eso es por qué tenemos que especificar las restricciones de clase Num y Ord cuando haciendo la suma o la resta y también la comparación.

Gracias!

Respuesta

26

Complex number (Data.Complex.Complex) es un ejemplo que es un número (Num) pero no se puede pedir (no Ord).

+1

¡Oh! Ok, eso tiene sentido. ¡Gracias! – Guido

+0

¿Qué hay de malo en ordenarlo lexicográficamente? – semicolon

+2

@semicolon No hay orden de número complejo que sea compatible con su multiplicación. Ver http://math.stackexchange.com/questions/492890/ordering-on-complex-numbers. – kennytm

Cuestiones relacionadas