I can't comment on most of your questions, but the few that I can answer
are inline below...

Jon Lang wrote:
> Yes, I know that there is no S08.  I'm working on writing one, 


> * What types are you allowed to assign to an invocant?

Whatever the type constraint says. When you write
class Foo { method bar ($x, $y) }, then bar's signature gets an invocant
of type Foo implicitly. If you write ... method bar (A $s:, $x, $y),
then the type constraint is A.

> * Are placeholder parameters ever considered to be part of a
> function's longname?  (I'm expecting that they aren't: if you want a
> longname, you ought to specify it in a formal signature.)

I expect they are; to me placeholder variables are just a different way
to write a signature, spread out all over the block.

08:41 <@moritz_> rakudo: say {$^a + $^b}.arity
08:41 < p6eval> rakudo 78cb4c: OUTPUT«2␤»

So they already count towards the arity (which makes sense, otherwise
map, reduce etc. couldn't work with it); why should they be omitted from
the longname then?

> * does the use of placeholder parameters interfere with the use of the
> slurpy parameters normally provided by the default signature (i.e.,
> *...@_ and *%_)?  I'm guessing not.

As far as I understand, you can only use placeholder parameters on a sub
or a block with no explicit signature. When you use them, you give them
a signature. *...@_ and *%_ are not part of that signature. (so yes, the


Reply via email to