Re: Object-relational impedence

From: Yagotta B. Kidding <>
Date: Mon, 10 Mar 2008 13:30:40 +0100 (CET)
Message-ID: <Xns9A5D56B26E75vdghher_at_194.177.96.26>

Marshall <> wrote in

> On Mar 9, 7:25 pm, "Yagotta B. Kidding" <> wrote:

>> Marshall <> wrote in
>> news:b5ab6022-5cea-45a1- 
>> Superficially, you can perform the translation,  but the assignment
>> required to imitate the projection makes any such language not
>> referentially transparent.  You may consider the non-transparency a
>> non- issue of course.

> Um, how so? I'm not sure I see what you mean.
> Marshall

"A language that supports the concept that ``equals can be substituted for equals'' in an expresssion without changing the value of the expression is said to be referentially transparent. Referential transparency is violated when we include set! in our computer language. This makes it tricky to determine when we can simplify expressions by substituting equivalent expressions. Consequently, reasoning about programs that use assignment becomes drastically more difficult." Received on Mon Mar 10 2008 - 13:30:40 CET

Original text of this message