Michael Hanus wrote:
> Moreover, we could also allow
> partial applications as patterns (as in TOY).
I think there are still some definite problems with such patterns. For
instance, it does not harmonize well with the module system. It seems to
me that introducing such patterns makes the functional type a data
structure which can be enhanced with new constructors in each module.
This is not possible with any other data type and is thus suspicious to me.
_______________________________________________
curry mailing list
curry_at_lists.RWTH-Aachen.DE
http://MailMan.RWTH-Aachen.DE/mailman/listinfo/curry
Received on Do Mär 29 2007 - 17:54:23 CEST