Re: Curry Report Vers. 0.8.2

From: Wolfgang Jeltsch <wolfgang_at_jeltsch.net>
Date: Tue, 21 Mar 2006 23:39:24 +0100

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 Wed Mar 22 2006 - 08:51:08 CET

This archive was generated by hypermail 2.3.0 : Wed Sep 18 2019 - 07:15:05 CEST