Re: Curry module system and other proposals

From: Wolfgang Jeltsch <wolfgang_at_jeltsch.net>
Date: Tue, 28 Feb 2006 14:02:28 +0100

Am Dienstag, 28. Februar 2006 09:23 schrieb Michael Hanus:
> [...]

> Sorry for being imprecise. I think it is not a practical problem
> since the variables in function patterns serve two roles-they are
> free when evaluating a function pattern to a constructor term
> (i.e., a standard pattern) but afterwards they are considered
> as pattern variables. Thus, it is not important that one
> syntactical construct could denote a free as well as pattern variable
> since the difference is not important in that context.

But it could cause confusion.

> Nevertheless, it could be better to be conservative and wait
> a bit for more insights before extending the language of
> expressions by "_".

Sounds good. ;-)

> Regards,
>
> Michael

Best wishes,
Wolfgang

_______________________________________________
curry mailing list
curry_at_lists.RWTH-Aachen.DE
http://MailMan.RWTH-Aachen.DE/mailman/listinfo/curry
Received on Tue Feb 28 2006 - 16:59:33 CET

This archive was generated by hypermail 2.3.0 : Thu Sep 19 2019 - 07:15:06 CEST