Hi, Little clarification...
Henry Baragar wrote:
I think that in your "Example 1", that you may be making too making too much of a distinction between "$a" and "@a". That is:@y just means "the argument must do the Positional role", so it's a looser constraint than "is Array". Equivalent is more like:sub f2(@y) {...}has exactly the same signature as sub f2($x is Array) {...} In other words, they both take a single argument that must be of type Array.
sub f2(Positional $x) { } Thanks, Jonathan