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

Reply via email to