Re: Name discussion for new primtive

From: Bernd Brassel <bbr_at_informatik.uni-kiel.de>
Date: Thu, 11 Nov 2004 12:09:40 +0100

German Vidal schrieb:
> Probably I missed something, but I think that the most appropriate
> name would be simply 'eval'. It doesn't sound operational and it
> reflects quite well what we want to achive: the evaluation of its
> argument to a value (i.e., a head normal form).
>
> Of course, this is a keyword in Curry. But couldn't we change that?

That eval is a keyword seems unproblematic, because we do not need eval
annotaions anymore, when we have the new primitive.

But why does the name eval suggest that (eval X) suspends? A logical
variable is, after all, a valid head normal form. It is just no ground
head normal form.




_______________________________________________
curry mailing list
curry_at_lists.RWTH-Aachen.DE
http://MailMan.RWTH-Aachen.DE/mailman/listinfo/curry
Received on Do Nov 11 2004 - 12:30:09 CET

This archive was generated by hypermail 2.3.0 : Do Jun 20 2024 - 07:15:07 CEST