On Sat, May 14, 2005 at 10:53:38PM +0800, Autrijus Tang wrote:
: On Sat, May 14, 2005 at 10:56:29PM +1000, Damian Conway wrote:
: > 8. To verify the monotonicity of a sequence:
: > $is_monotonic = [<] @numbers;
: Hey. Does this mean that the  metaoperator folds with the
: associativity of the operator inside it?
Yes. It's as if there is a long cat, only without the cat.
: That is, if the operator inside is right-associative, it functions as
: foldr; if the operator is left-associative, it functions as a foldl; and
: if the operator is chain-associative like <, it assumes the special,
: short-circuiting chained-folding semantic?
: [>] 1, 2, 3; # 1 > 2 > 3 # 3 is not evaluated
: [**] 1, 2, 3; # 1 ** (2 ** 3)
: [+] 1, 2, 3; # (1 + 2) + 3
: If so, should I send patches to S03, or is it already in the works?
Feel free, unless someone else volunteers.
: Finally, what does this mean?
: say [x];
: Is it a repeating metaoperator on an empty list, or a single-element
: array reference that contains the return value of calling &x()?
Always the first. [x] doesn't have to do lookahead.