[prev in list] [next in list] [prev in thread] [next in thread] 

List:       perl6-language
Subject:    r24680 - docs/Perl6/Spec
From:       pugs-commits () feather ! perl6 ! nl
Date:       2008-12-29 17:16:02
Message-ID: 20081229171602.28510.qmail () feather ! perl6 ! nl
[Download RAW message or body]

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 <larry@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
 

[prev in list] [next in list] [prev in thread] [next in thread]