On Tue, Apr 13, 2010 at 7:12 PM, Dimitre Novatchev <dnovatchev@xxxxxxxxx>
wrote:
>
> Not necessarily true. The evaluation of
>
> f(g(x))
>
> requires that g(x) be evaluated, before f()  can be evaluated.
>

a) The obvious reaction: This a trivial statement.

b) Second thought: Not necessarily. There are functions f(x), where
you don't have to evaluate x.

c) And even if the final outcome of f(g(x)) does depend on f's
argument, an "evaluation" of f(.) might take place even before g(x) is
evaluated, possibly delaying this to some later moment.

I think the important point is that functional describes the result
but does not prescibe how to produce it.

-W