Moritz Lenz moritz-at-casella.verplant.org |Perl 6| wrote:
I think what the discussion is missing that there Regexes are also
Callable (I think so, at least).
Yes, you are right. S05 says that a named regex is an object of type Method
actually. They are just another syntax for writing Rules. When would you care
whether something is (a) just another sub that has the correct signature and was
written from scratch; (b) written using regex syntax inline, (c) written using a
named regex, or (d) written as a Rule ?
--John
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
