Revision as of 08:26, 13 September 2016 edit Kaartic (talk \| contribs) Extended confirmed users 563 edits m included subtyping requirement ← Previous edit		Revision as of 08:28, 13 September 2016 edit undo Kaartic (talk \| contribs) Extended confirmed users 563 edits fixed typo Next edit →
Line 24: <!-- inline math as HTML bold :''Let {{math\| '''q(x)''' }} be a property provable about objects {{math\| '''x''' }} of type {{math\| '''T'''. }} Then {{math\| '''q(y)''' }} should be provable for objects {{math\| '''y''' }} of type {{math\| '''S''', }} where {{math\| '''S''' }} is a subtype of {{math\| '''T'''. }}'' --,> Therefore normally one must distinguish subtyping and subclassing. Most current object-oriented languages distinguish subtyping and subclassing, however some approaches to design do not.

Class-based programming: Difference between revisions