Re: Evaluation Annotations: are they needed?

From: Julio Mariño y Carballo <jmarino_at_fi.upm.es>
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.

Julio

_______________________________________________
curry mailing list
curry_at_lists.RWTH-Aachen.DE
http://MailMan.RWTH-Aachen.DE/mailman/listinfo/curry
Received on Mon Nov 15 2004 - 12:58:03 CET

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