On Monday 28 April 2008 10:15:25 Jon Lang wrote: > Ah; that clears things up considerably. If I understand you > correctly, John is using '£' to mean "use Duck Typing here". _That_, > I can definitely see uses for. As well, spelling it as 'like' instead > of '£' is _much_ more readable. With this in mind, the above > signature reads as "$p1 must be like a Point, but it needn't actually > be a Point. Both $p2 and the return value must be the same type of > thing that $p1 is."
That was always my goal for roles in the first place. I'll be a little sad if Perl 6 requires an explicit notation to behave correctly here -- that is, if the default check is for subtyping, not polymorphic equivalence. -- c