Re: Object-relational impedence

Marshall <marshall.spight_at_gmail.com> wrote in news:026db19e-4064-4b37- a98e-0826695ed5a7_at_s8g2000prg.googlegroups.com:

> On Mar 10, 10:47 am, "Yagotta B. Kidding" <y..._at_mymail.com> wrote:

>> > Mr. Perryman's example was written in a single-assignment,
>> > mathematical style.
>>
>> And yet you still do not see where the assignment comes in in Mr.
>> Perryman's example.

I readily admit that I did not pay attention to the 'single' word until you've pointed out.

I must point out that no one except wikipedia or some misguided souls use the single 'assignment' term any more. Now, the accepted term is name binding or let binding to make the point than no assignment in the imperative sense takes place. You wont find the term in either Haskell or OCAML manuals btw. Just to prevent a potential mud slinging contest, nobody disputes the fact that the mongrel language OCAML does have the real assignment.

Nevertheless, it is possible to express Mr. Perryman's projection with OCAML's structural subtyping and let binding, that much is true, but the attempt would look butt ugly. It is worth to remind perhaps that let binding is an FP feature unavailable in any major OOP language. A question arises, then, why bother and not go for a real thing, FP ?

>
> Well, we're into a subpoint of a subpoint of a subpoint.
> Perhaps a refreshing Snapple is in order!
>
>
> Marshall
>
Received on Tue Mar 11 2008 - 15:19:09 CET