Author: lwall
Date: 2008-12-29 18:16:02 +0100 (Mon, 29 Dec 2008)
New Revision: 24680

Modified:
   docs/Perl6/Spec/S02-bits.pod
Log:
[S02] derivatives of * are Code, not Whatever


Modified: docs/Perl6/Spec/S02-bits.pod
===================================================================
--- docs/Perl6/Spec/S02-bits.pod        2008-12-29 16:31:58 UTC (rev 24679)
+++ docs/Perl6/Spec/S02-bits.pod        2008-12-29 17:16:02 UTC (rev 24680)
@@ -12,9 +12,9 @@
 
   Maintainer: Larry Wall <la...@wall.org>
   Date: 10 Aug 2004
-  Last Modified: 27 Dec 2008
+  Last Modified: 29 Dec 2008
   Number: 2
-  Version: 145
+  Version: 146
 
 This document summarizes Apocalypse 2, which covers small-scale
 lexical items and typological issues.  (These Synopses also contain
@@ -809,15 +809,18 @@
 
     * - 1
 
-produces a result similar to:
+produces a function of a single argument:
 
     { $^x - 1 }
 
-except that the result is still of type C<Whatever>.
+This closure is of type C<Code>, not C<Whatever>, so that constructs can 
distinguish
+via multiple dispatch:
 
-A value of type C<Whatever> may therefore be called as a function of
-one argument.  The bare C<*> form therefore represents the identify function:
+    1,2,3 ... *
+    1,2,3 ... *+1
 
+The bare C<*> form may also be called as a function, and represents the 
identify function:
+
     *(42) == 42
     (* + 1)(42) == 43
 

Reply via email to