John M. Dlugosz wrote:
> I wrote up a summary and some notes and posted at 
> <http://www.dlugosz.com/Perl6/web/code.html>.

I think what the discussion is missing that there Regexes are also
Callable (I think so, at least).

Also I'm not sure that Routine actually isa Block, because a Block can
be left with leave(), but I'm not sure if a Routine can be (that's what
return() is for).

So I'd say

role Callable { ... }
class Regex does Callable { ...  }
class Code does Callable
class Block is Code
class Routine is Code

> Can we come to a definitive statement of the Callable/Code/Block/Routine 
> types, relative to the hints that are in the synopses thus far?
> 
> What I would like to do is get a consensus to write this up formally in 
> my specdoc, and I'll also mark up the synopses files with the 
> inconsistencies and proposed new wording, for Larry (the document owner) 
> to have.
> 
> --John


-- 
Moritz Lenz
http://moritz.faui2k3.org/ |  http://perl-6.de/

Reply via email to