Sergio Antoy wrote:
> Sorry for jumping into this so late. On a strategy note, I think
> that all the proposed alternative want to be very close, but to be
> close enough they need to be be very verbose. Maybe the name should
> only say half of the story. E.g., "ensure". The reader will ask
> "what is being ensured here?" and get the other half. Or "rooted".
> "Rooted by what?".
I like the name "ensure", in particular, if it is extended to
deeper structures like "ensureSpine". It has not the non-declarative
(since Prolog-rooted) flavor of "nonVar" and doesn't sound operational
(in contrast to most previous proposals).
Regards,
Michael
_______________________________________________
curry mailing list
curry_at_lists.RWTH-Aachen.DE
http://MailMan.RWTH-Aachen.DE/mailman/listinfo/curry
Received on Fr Nov 12 2004 - 09:39:50 CET