1 Feb
2008
1 Feb
'08
10:18 a.m.
On 1 Feb 2008, at 9:24 , Tudor Girba wrote:
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.
For the naming scheme, we should not take that to the ridiculous, it
does not make any sense to label inheritances in- or outgoing. We
should allow an exception of the rule there.
cheers,
AA