Sergio Antoy wrote:
> There is another simple solution.
>
> data Color = Red | Green
> Color = Red ? Green
>
> x=:=Color & (x==Green) =:= False
>
> It is interesting the parallel between the type Color and the
> operation Color and the declaration of x's type, x::Color, and x's
> constraint, x=:=Color.
This looks more nicely than my example.
I am still thinking too "logical" rather than "functional logical"...
Regards,
Michael
_______________________________________________
curry mailing list
curry_at_lists.RWTH-Aachen.DE
http://MailMan.RWTH-Aachen.DE/mailman/listinfo/curry
Received on Fr Dez 10 2004 - 10:05:35 CET