On Jan 24, 2008 11:39 AM, David Brown <[EMAIL PROTECTED]> wrote: > On Thu, Jan 24, 2008 at 10:37:17AM -0800, Brad Beyenhof wrote: > >So, am I getting this right? > > > >*Applicative order: evaluates each argument in order (both operator > >and operands are "arguments" in this sense), only looking at an > >argument farther down the line if it's called for. > >*Normal order: expand every argument to primitive data or functions, > >then reduce the expression by combining the primitives. > > Not quite. [snip] > You can think of normal order as only using the arguments when they are > needed.
Maybe the example in the text (at the end of 1.1.5) is misleading, then. That seems to imply that both "square" functions are expanded at the same time. Or is that example too simplistic to demonstrate the aspect of the evaluation that we're discussing? -- Brad Beyenhof http://augmentedfourth.com The history of popular music is littered with great partnerships. Rodgers had his Hammerstein, Lennon had his McCartney, and Lloyd Webber had... his photocopier... ~Humphrey Lyttleton -- [email protected] http://www.kernel-panic.org/cgi-bin/mailman/listinfo/kplug-lpsg
