Re: Name discussion for new primtive

From: Michael Hanus <>
Date: Fri, 12 Nov 2004 09:26:41 +0100

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).



curry mailing list
Received on Fr Nov 12 2004 - 09:39:50 CET

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