Re: Mixing OO and DB

From: Yagotta B. Kidding <ybk_at_mymail.com>
Date: Thu, 21 Feb 2008 02:33:51 +0100 (CET)
Message-ID: <Xns9A4AD1367827Cvdghher_at_194.177.96.26>


Robert Martin wrote:

>[whatever]
..

"Dmitry A. Kazakov" <mailbox_at_dmitry-kazakov.de> wrote in news:10zkvw1lm5u6k$.15jxnouhrj6h7.dlg_at_40tude.net:

> Contract /= meaning. Contract is a set of well-defined predicates to
> be true. It cannot capture "meaning".

S Perryman <q_at_q.com> wrote in news:fphg87$m3c$1_at_aioe.org:

> No.
> Liskov and Wing define their subtype predicate in a specific way,
> using a substitutability predicate. The latter predicate they also
> define very precisely.

Invasion of the OOP clones, not less. Are these dudes, like, for real, still fighting over the Circle/Ellipse 'problem', Liskov's 'principle' ? Wow !

It's been like what ? 20 years since the Ellipse/Circle problem discovery ? The progress in this OOP business is slow indeed ! Good luck anyway... Received on Thu Feb 21 2008 - 02:33:51 CET

Original text of this message