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>
Date: Thu, 21 Feb 2008 02:33:51 +0100 (CET)
Message-ID: <Xns9A4AD1367827Cvdghher_at_194.177.96.26>
>[whatever]
..
> 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