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