> Marshall schrieb:
>

>>> In some cases, you need an additional level of conceptual indirection -
>>> instead of *doing* the updates, you write a function that *describes* them.

>>
>> But then what do you do with that function?

>
> I pass it to an engine that's imperative.
>
> However, that engine doesn't need to do aliasing anymore.
>
> In other words, I'm separating mutability and aliasing, so that they
> can't combine and explode.

> Joachim Durchholz wrote:

>> As I said elsewhere, the record has an identity even though it isn't
>> explicit in SQL.

>
> Hmmmm. What can this mean?
>
> In general, I feel that "records" are not the right conceptual
> level to think about.

> In any event, I am not sure what you mean by non-explicit
> identity.

> I would say, records in SQL have value, and their
> identity is exactly their value.