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

Re: How are types related to classes and roles?

Thread Previous | Thread Next
From:
Thomas Sandlaß
Date:
March 4, 2005 14:13
Subject:
Re: How are types related to classes and roles?
Message ID:
4228DD73.5080904@orthogon.com
I wrote:
> 
>                 A|B         lub (lowest upper bound)
>                /   \
>               /     \
>              A   0   B
>             / \     / \
>            /   \   /   \
>           /     A&B     \   glb (greatest lower bound)
>          /  1  /   \  2  \
>         /     /  3  \     \
> 

I was a bit lax in explaining my picture and it's relation
to type junctions. A, B, A|B and A&B are roles. In the areas
0..3 you find classes that do the roles in the surrounding cone.
They are not related to each other by subtyping!

Outside are the classes and roles none(A,B). The subtype relation
is vertical with more general towards the top. I'm a bit unsure
what the one-junction A^B really means but the classes that do
it are located in area 1+2 ;)

I hope that helps.
-- 
TSa (Thomas Sandlaß)
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