Am Montag, 20. März 2006 17:09 schrieb Wolfgang Lux:
> [...]
> There is a more important reason for using two different
> primitives for equality and ordering: For some types it is
> possible to check equality, but they do not have a natural
> ordering. For instance, MCC supports equality tests for
> partial applications (which seems natural given that they
> can be used in equality and disequality constraints), file
> handles, and also mutable references in the IO monad. However,
> compare will report an error at runtime when applied to
> arguments of these kinds.
>
> Regards
> Wolfgang
Brrr, runtime errors! Seems like Curry badly needs type classes. :-)
Best wishes,
Wolfgang
_______________________________________________
curry mailing list
curry_at_lists.RWTH-Aachen.DE
http://MailMan.RWTH-Aachen.DE/mailman/listinfo/curry
Received on Mi Mär 22 2006 - 08:51:08 CET