Bernd Brassel wrote:
> Are there more pros and cons that I did not mention? Herbert, do you
> have some more arguments in favour of waitFor?
> It seems to me now, that groundHnf and nonVar are the most reasonable
> names, what do you think?
I agree but I have a slight preference for nonVar because I think
that groundHnf sounds a bit too technical. When I teach functional
(logic) programming, first I explain the constructs of the language
without defining the concrete evaluation strategy. Thus, the notion
of a head normal form becomes relevant very late. For instance,
look at Simon Thompson's Haskell book where you do not even find "hnf"
in the index! Thus, I think nonVar is much easier to explain
to newbies than groundHnf.
Regards,
Michael
_______________________________________________
curry mailing list
curry_at_lists.RWTH-Aachen.DE
http://MailMan.RWTH-Aachen.DE/mailman/listinfo/curry
Received on Do Nov 11 2004 - 12:48:17 CET