develooper Front page | perl.perl6.language | Postings from July 2005

Re: Messing with the type heirarchy

Thread Previous | Thread Next
From:
Ingo Blechschmidt
Date:
July 27, 2005 06:21
Subject:
Re: Messing with the type heirarchy
Message ID:
dc81kh$m8q$1@sea.gmane.org
Hi,

Luke Palmer wrote:
> http://repetae.net/john/recent/out/supertyping.html
> 
> This was a passing proposal to allow supertype declarations in
> Haskell.  I'm referencing it here because it's something that I've had
> in the back of my mind for a while for Perl 6.  I'm glad somebody else
> has thought of it.
[...]
>     role Complex
>         does Object
>         contains Num
>     {...}

I've probably misunderstood you, but...:

    role Complex does Object {...}
    Num does Complex;
    # That should work and DWYM, right?


--Ingo

-- 
Linux, the choice of a GNU | Wissen ist Wissen, wo man es findet.  
generation on a dual AMD   | 
Athlon!                    | 


Thread Previous | Thread Next


nntp.perl.org: Perl Programming lists via nntp and http.
Comments to Ask Bjørn Hansen at ask@perl.org | Group listing | About