In S12, I see examples like:
role Pet[Type $petfood = TableScraps] {
method feed (::($petfood) $food) {...}
}
I assume that means lexicals declared as part of a parametric
specialization declaration block thingy are only visible within that
scope, like a formal subroutine parameter list?
If so, are there things allowed (or disallowed) in type parameter
lists vs. sub parameter lists?
If [] is enforcing long-name generation or something simple like that,
could I cheat and make it imply multi on my functions if I use it?
sub foo[Int $x: Pair ?$y] {...}
sub foo[Pair $x, Pair $y] {...}
Would that be valid/mean anything?
Okay, that enough curiosity for today. :)
Thanks,
Ashley Winters
