Re: Generic classes.

On Mon, Aug 15, 2005 at 11:07:51AM -0700, Larry Wall wrote:
> Sure, except that you're not really inheriting from a role here.
> You're really inheriting from an anonymous class of the same name.  :-)

Hmm, "Anonymous class with the name 'Array of Any'" sounds like
an oxymoron.  Also consider:

    role Foo {};
    my Foo $x .= new;
    my Foo $y .= new;
    ref($x) eqv ref($y);    # bool::true, surely?

If all the anonymous classes are actually the same class underneath, and
have the name that's identical to the role name, then where do their
"anonymousness" manifest?

Can we simply say "Foo" is a role can double as a class -- i.e. you
can choose to "is" it or "does" it?  Then it follows that "Array of Any"
is a class, and "Array of Int" is also a class, etc.

Thanks,
/Autrijus/

pgpuwB2NcGZK2.pgp
Description: PGP signature