top | item 42786842 (no title) bts | 1 year ago And functional programmers would argue that contravariance is the real meaning of Liskov’s substitution principle: https://apocalisp.wordpress.com/2010/10/06/liskov-substituti... discuss order hn newest gsf_emergency|1 year ago >So LSP just says “predicates are contravariant”Maybe just leave out the "just" for a pleasant journey?Since the interesting part of Barbara's uh, guideline, as "almost" pointed out by your link, is "almost" the opposite of "almost" trivial..Don't mind me, I'm imbecilic :)(See your link's comments, at least those imbeciles "almost" get it) zbyforgotp|1 year ago A practical rephrasing of LSP: subclasses should be subtypes.
gsf_emergency|1 year ago >So LSP just says “predicates are contravariant”Maybe just leave out the "just" for a pleasant journey?Since the interesting part of Barbara's uh, guideline, as "almost" pointed out by your link, is "almost" the opposite of "almost" trivial..Don't mind me, I'm imbecilic :)(See your link's comments, at least those imbeciles "almost" get it)
gsf_emergency|1 year ago
Maybe just leave out the "just" for a pleasant journey?
Since the interesting part of Barbara's uh, guideline, as "almost" pointed out by your link, is "almost" the opposite of "almost" trivial..
Don't mind me, I'm imbecilic :)
(See your link's comments, at least those imbeciles "almost" get it)
zbyforgotp|1 year ago