Jump to content

Wikipedia:Articles for deletion/Liskov substitution principle

From Wikipedia, the free encyclopedia
This is an old revision of this page, as edited by Bart Jacobs (Leuven) (talk | contribs) at 12:18, 22 June 2020 (Liskov substitution principle). The present address (URL) is a permanent link to this revision, which may differ significantly from the current revision.
Liskov substitution principle (edit | talk | history | protect | delete | links | watch | logs | views) – (View log · Stats)
(Find sources: Google (books · news · scholar · free images · WP refs· FENS · JSTOR · TWL)

I propose to replace this article with a redirect to Behavioral subtyping because substitution terminology, while popular and widespread, is a technically flawed way to discuss behavioral subtyping. As Liskov herself confirms, "technically, it's called behavioral subtyping". Unfortunately, the article uses substitution terminology throughout, so salvaging existing content is nontrivial. There is a section on the Behavioral subtyping page that discusses the problems with substitution terminology. Bart Jacobs (Leuven) (talk) 11:03, 22 June 2020 (UTC)[reply]

  • Oppose. The article Behavioral subtyping looks like a fork of Liskov substitution principle, which was created recently by the OP, Bart Jacobs (Leuven). Before that it was just a redirect from Behavioral subtyping to Liskov substitution principle. And now Bart wants to delete LSP altogether and redirect it to their new article. The thing is, though, the term "Liskov substitution principle" is in widespread use in the IT industry, as one of the five SOLID principles. And the notion that it is incorrect doesn't seem to be supported by sources, other than a throwaway comment by Liskov herself, but rather an attempt to WP:RIGHTGREATWRONGS. (The nominator has stated as a goal that they wish to "erase all traces of the terms "Liskov Substitution Principle" and "substitutability" from the Internet, starting with this article" despite numerous sources using the term). So really, I think the content of Behavioral subtyping should be merged into Liskov substitution principle to leave just one article on the subject, and it should remain at Liskov substitution principle for the reasons above, and because that name is more widely used in book sources than "behavioral subtyping". Thanks  — Amakuru (talk) 11:59, 22 June 2020 (UTC)[reply]
Just want to point out that, besides Liskov's comment, there is an article in the top scientific journal on programming languages[1] (see page 5 in that article), which I cite in Behavioral subtyping. Bart Jacobs (Leuven) (talk) 12:17, 22 June 2020 (UTC)[reply]
  1. ^ Leavens, Gary T.; Naumann, David A. (August 2015). "Behavioral subtyping, specification inheritance, and modular reasoning". ACM Transactions on Programming Languages and Systems. 37 (4). doi:10.1145/2766446.