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 Mo Nov 15 2004 - 12:58:03 CET