Talk:Substitutability

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)

Why is the property of substitutability interesting? This quote from the Liskov substitution principle says why, and I think it is one of the coolest things I've ever read about LSP / substitutability: "A function using a class hierarchy violating the principle uses a reference to a base class, yet must have knowledge of the subclasses. Such a function violates the open/closed principle because it must be modified whenever a new derivative of the base class is created."

I agree with whoever suggests to merge this page with the Liskov substitution principle one, by the way. —Preceding unsigned comment added by 203.114.192.114 (talk) 14:09, 5 December 2008 (UTC)


 * ME TOO in fact I'm going to remove the link to this page from the LSP page because the link in that context is utterly useless. Wiktionary indeed. There's not actually even anything here to merge to LSP. REDIRECT --76.247.105.43 (talk) 19:33, 22 March 2009 (UTC)