Re: AW: Name discussion for new primtive

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

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

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 - 12:15:30 CET

This archive was generated by hypermail 2.3.0 : Mon Sep 23 2019 - 07:15:05 CEST