r29157 - docs/Perl6/Spec

[pugs-c...@feather.perl6.nl]

Author: lwall
Date: 2009-11-20 21:19:44 +0100 (Fri, 20 Nov 2009)
New Revision: 29157

Modified:
docs/Perl6/Spec/S03-operators.pod
Log:
[S03] tweaks, add conjectural RSR case

Modified: docs/Perl6/Spec/S03-operators.pod
===================================================================
--- docs/Perl6/Spec/S03-operators.pod 2009-11-20 20:16:12 UTC (rev 29156)
+++ docs/Perl6/Spec/S03-operators.pod 2009-11-20 20:19:44 UTC (rev 29157)
@@ -4274,12 +4274,16 @@
operator involving known volatile operands where that does not otherwise
change the semantics of the operator.

-Conjectural: since metaoperators are notionally applied from inside to outside,
-serializing a reversed operator depends on the order of the metaoperators:
+[Conjectural: since metaoperators are notionally applied from inside
+to outside, the semantics of serializing and reversing depends on
+the order of the metaoperators:

a SR/ b evaluates b, then a, then does b/a
a RS/ b evaluates a, then b, then does b/a
+ a RSR/ b evaluates b, then a, then does a/b

+...maybe. Can argue it all the other way too...]
+
=head2 Nesting of metaoperators

Any ordinary infix operator may be enclosed in square brackets
@@ -4300,7 +4304,7 @@
This is convenient for function application:

1,1 ... &[+] # fibonacci series
- sort &[Rleg], @list # reverse sort as strings
+ sort &[Rleg], @list # reverse sort as strings

The C<&[op]> form always refers to a binary function of the operator,
even if it is underlyingly defined as a variadic list-associative operator.