repost: semantics of the keyword lazy

[Karen Lanrap]

Ivan Senji wrote:

> The thing is: argument and parameter are not one and the same
> and that makes the definition not circular.

If it is not circular, then without using a self reference one should 
be able to explain where the point of evaluation is. But i do not see 
such an explanation.

If you are right, that arguemnt and parameter are always not the 
same, then this would mean, that the compiler has to construct a 
delegate even then, when the argument is a delegate already. But then 
a lazy evaluation of the ackermann-function for example would mean, 
that the compiler has to construct a delegate---which's length is 
approximately the length of the number to be output.