Re: Name discussion for new primtive

From: Michael Hanus <mh_at_informatik.uni-kiel.de>
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).

Regards,

Michael

_______________________________________________
curry mailing list
curry_at_lists.RWTH-Aachen.DE
http://MailMan.RWTH-Aachen.DE/mailman/listinfo/curry
Received on Fri Nov 12 2004 - 09:39:50 CET

This archive was generated by hypermail 2.3.0 : Fri Sep 20 2019 - 07:15:05 CEST