2 Feb
2008
2 Feb
'08
9:54 p.m.
Adrian Kuhn wrote:
On 1 Feb 2008, at 9:24 , Tudor Girba wrote:
I don't agree
with this. Types and subtypes are not necessarily linked
to inheritance. Look at the typesystem of Cecil which is used totally
decoupled from the inheritance hierarchies. Inheritance is -> like Doru
says.
A -> B still means that "A
superclasses" includes B and that "B
subclasses" includes A.
Correct notation is lower-than-colon!!!
A <: B
which means, A is a subtype of B. This is the standard notation in
typing theory (Luca Cadelli, etc pp...) we should stick to that.