Re: Object-relational impedence

S Perryman <q_at_q.com> wrote in news:fr0hft$8gf$1_at_aioe.org:

> Yagotta B. Kidding wrote:
>

>> S Perryman <q_at_q.com> wrote in news:fqpj0o$lke$1_at_aioe.org:

>>>No, merely that the resulting entity is now deemed to be of
>>>another type, substitutable with the original type.

>>>type T
>>>{
>>>    x, y, z
>>>}
>>>
>>>Set<T> ts ;
>>>Set< type { x, y } > ps = { e IN ts : e.x > 123 } ;

>>>The elements of ps are effectively projections of the elements in ts.

>> Hold on, you have a value of type Set<T> assigned to a variable of
>> type Set<type{x,y}>.

I think you are confused at least on two counts.

In any OO langauage I am familiar wth, you can assign a subtype value to a supertype variable. However, you did not establish any subtype/supertype relationship in your example, therefore, the assignment is illegal.

Even when you establish such relationship, no projection really takes place, the information is still there, it's just hidden, as can easily be seen by casting back to the original subtype.

.
>
>
> Regards,
> Steven Perryman
>
Received on Sun Mar 09 2008 - 18:13:51 CET