Re: Aggregation (with GBY) is Relational Division

Frank Hamersley wrote:
> vc wrote:

> >> so does
> >>
> >> eg> foldr (+) 4 [1..3] produce 4+3+2+1 or 3+2+1+4?
> >
> > foldr (+) 4 [1..3] => 1 + (2 + (3 +4)) = 10

>
> or
>
> foldr (+) 4 [1..3] => 1 + (2 + (4 + 3)) = 10
>

No.

> or
>
> foldr (+) 4 [1..3] => (((4 + 3) + 2) + 1) = 10
>

No.

> ???

Take any non-commutative operation to see the difference.

>
> The question becomes does the leftness/rightness persist in the
> construction of the expression prior to evaluation. I must confess my
> past exposure to stack oriented processing of expressions is influencing
> my interest.
>
> Cheers, Frank.
Received on Wed Jun 07 2006 - 12:13:57 CEST