Re: Name discussion for new primtive

From: Sergio Antoy <>
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?".


curry mailing list
Received on Do Nov 11 2004 - 18:33:47 CET

This archive was generated by hypermail 2.3.0 : So Dez 03 2023 - 07:15:08 CET