Author: lwall
Date: 2010-03-03 02:03:19 +0100 (Wed, 03 Mar 2010)
New Revision: 29923
Modified:
docs/Perl6/Spec/S03-operators.pod
Log:
[S03] some clarifications of how a series deals with types (or doesn't) for
colomon++
Modified: docs/Perl6/Spec/S03-operators.pod
===================================================================
--- docs/Perl6/Spec/S03-operators.pod 2010-03-03 01:00:25 UTC (rev 29922)
+++ docs/Perl6/Spec/S03-operators.pod 2010-03-03 01:03:19 UTC (rev 29923)
@@ -15,8 +15,8 @@
Created: 8 Mar 2004
- Last Modified: 19 Feb 2010
- Version: 194
+ Last Modified: 2 Mar 2010
+ Version: 195
=head1 Overview
@@ -1888,7 +1888,12 @@
1,1,{ $^a + 1, $^b * 2 }...* # 1,1,2,2,3,4,4,8,5,16,6,32...
-If no closure is provided, and the sequence is obviously
+A series operator generated from an explicit function places no type
+constraints on the series other than those constraints implied by
+the signature of the function. If the signature of the function does
+not match the existing values, the series terminates.
+
+If no closure is provided, and the sequence is numeric, and is obviously
arithmetic or geometric (from examining its I<last> 3 values), the appropriate
function is deduced:
1, 3, 5 ... * # odd numbers
@@ -1934,7 +1939,8 @@
1,2,3 ... *
<1 2 3> ... *
-Likewise these come out the same:
+Likewise, if the given value or values are not numeric, C<.succ> is assumed,
+so these come out the same:
'a' .. *
'a' ... *
@@ -1942,7 +1948,8 @@
'a','b','c' ... *
<a b c> ... *
-If the list on the left is C<Nil>, we use the function C<{Nil}>.
+If the list on the left is C<Nil>, we use the function C<{Nil}> to generate an
+infinite supply of nothing.
For intuited numeric generators that don't involve geometric sign changes, all
values are assumed to be monotonically increasing or decreasing, as determined
