Re: Clean Object Class Design -- Circle/Ellipse

hidders_at_win.tue.nl (Jan Hidders) wrote in <9klpmg$3dg$1_at_news.tue.nl>:
>If you take Date's vision on OO and use a simply type system (no
>parameterized types or types with quantifiers of types, et cetera) then
>this is a well-understood problem. You can find the relevant literature
>under 'multimethods' and 'subtyping' with Google.
>
>To summarize:

[snip]

Thanks for the summary. The difference between this and what I was thinking of seems to be that there are no axioms to be satisfied here. Does Date say that a decent OO type system should allow you to model any subtype of the kind you've just described as an inheritance relationship? I'm not sure it matters, but does he make any statements concerning axioms?

Regards,

Martijn Received on Mon Aug 06 2001 - 19:02:56 CEST