Re: Evaluation Annotations: are they needed?

From: Julio Mariño y Carballo <>
Date: Mon, 15 Nov 2004 12:27:51 +0100

El Domingo, 14 de Noviembre de 2004 22:33, Wolfgang Lux escribió:
> Well, this looks like a reasonable proposal to me. Yet, the open
> question
> (in order to leave the purely syntactic level :-) is which functions
> qualify as rigidness projections in such a kind of evaluation
> annotations.

They should behave as the identity on ground terms of certain type. Enforcing
the type constraints is trivial; ensuring they are identities is, in general,
the programmer's responsibility.


curry mailing list
Received on Mo Nov 15 2004 - 12:58:03 CET

This archive was generated by hypermail 2.3.0 : Do Jun 13 2024 - 07:15:06 CEST