Talk:Substitutability

From Wikipedia, the free encyclopedia

The article Liskov substitution principleis the only article (apart from automatically generated lists of deadend article that points to this article. Quotation from the Liskov article :

"Thus, the notion of "subtype" is based on the notion of substitutability; that is, if S is a subtype of T, then objects of type T in a program may be substituted with objects of type S, without altering any of the desirable properties of that program (e.g., correctness)."

Does repeating "if S is a subtype of T, then objects of type T in a program may be substituted with objects of type S, without altering any of the desirable properties of that program" really justify this page's existence?

No. I don't think it does. Here's the text I've already placed on your talk page. I was reading your comments on substitutibility and I think that you are correct. I am tempted to either speedily delete it or (perhaps even better) move it to wiktionary. --Jpittman 23:21, 3 Oct 2004 (UTC)

Well User:Lachaume has done a nice job on generalizing the article - so no need for VfD or wiktionary. --Cje 15:31, 17 Oct 2004 (UTC)