Re: AW: Name discussion for new primtive

From: Michael Hanus <>
Date: Fri, 12 Nov 2004 12:10:29 +0100

Prof. Dr. Herbert Kuchen wrote:
> If I understood Sergio correctly, he suggests
> "ensure" without any suffix, since a short name
> sketching the semantics is better than a long
> name explaining the sematics in detail. I agree
> with this point of view.
> Thus, I vote for "ensure".

For the same reasons, I think also "ensure" is the (currently) best

> By the way, we are about to contribute another
> proof of the well-known thesis that syntax
> discussions last at least double as long as
> semantic discussions :-) .

Right, and maybe we proof that "double" is too small.



curry mailing list
Received on Fr Nov 12 2004 - 12:15:30 CET

This archive was generated by hypermail 2.3.0 : Di Dez 05 2023 - 07:15:07 CET