Re: Mixing OO and DB
From: S Perryman <q_at_q.com>
Date: Fri, 22 Feb 2008 09:09:56 +0000
Message-ID: <fpm3hc$nuh$1_at_aioe.org>
Date: Fri, 22 Feb 2008 09:09:56 +0000
Message-ID: <fpm3hc$nuh$1_at_aioe.org>
> S Perryman wrote:
>> Specifically : what "principle" is actually in effect here ??
>> That if some type T2 happens to be substitutable for T1 for one
>> particular context, that T2 should be a Liskov/Wing subtype of T1 ??
>> Hardly "value-added" (wrt to the Liskov/Wing definitions) is it.
> Actually, the principle provides a method to evaluate type systems just > as normalization provides a method to evaluate logical designs.
Regards,
Steven Perryman
Received on Fri Feb 22 2008 - 10:09:56 CET