Re: Ada Interfaces and the Liskov Substitution Principle

On Thu, 24 May 2007 12:42:16 +0200, Georg Bauhaus wrote:

In fact, Eiffel has a relative, the assignment attempt
(written "?="). And the Eiffel arguments versus Liskov/Wing
are that the principles guiding program design should come
from the solution to a problem, not from models when these
cannot capture the solution. In a sense, it is argued that
that L/W substitution (and also co/contra-variance) violate
programming principles!

Actually [absolute] LSP violates common sense.

IF A were fully and unconditionally substitutable for B in all possible
contexts, then As and Bs would be equivalent in any thinkable sense.
Because then they would be indistinguishable without magic.

--
Regards,
Dmitry A. Kazakov
http://www.dmitry-kazakov.de
.

Relevant Pages

  • Re: Regarding UFO
    ... I put honor and morality above personal and group gain. ... >> Tom Potter ... Mr. Potter seems to think that Earthian history is all "White Hat". ...
    (sci.physics)
  • Re: Damn you, FEDEX! or Nikon D40 lost in Springfield, MO blackhole.
    ... the 2 mp Mavica he had been using with a Nikon D40. ... After shopping around, he got me to order one for him. ... The shipper had it insured, but from what I have read it could take weeks to sort this crap out. ... You may get your insurance from FedEx and a couple weeks later they find it and deliver it. ...
    (alt.photography)
  • Re: The Sci-Fi Rejection Letter That Time Forgot
    ... nations have stockpiled arsenals of these incredible bombs and the time the story is set. ...
    (rec.arts.sf.written)
  • RE: copied music cds have a skip in last 18 seconds
    ... If installing all missing Windows Updates doesn't fix your problem ... xiowan.......in tucson ...
    (microsoft.public.windows.mediacenter)