Re: Name discussion for new primtive

From: Sergio Antoy <antoy_at_cs.pdx.edu>
Date: Thu, 11 Nov 2004 09:09:45 -0800

Dear all,

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?".

Cheers,
Sergio

_______________________________________________
curry mailing list
curry_at_lists.RWTH-Aachen.DE
http://MailMan.RWTH-Aachen.DE/mailman/listinfo/curry
Received on Do Nov 11 2004 - 18:33:47 CET

This archive was generated by hypermail 2.3.0 : Fr Mär 29 2024 - 07:15:06 CET