Re: more on delete from join

Kevin Kirkpatrick <kvnkrkptrck_at_gmail.com> wrote:

[snip]

>I'm not saying the notion of a programming language solving systems of
>equations is undesirable. But I am saying that the language needs
>more than just assignments to get you there. Perhaps my "off the
>cuff" notation using exp[] arrays was kludgy... would this be a more
>elagant and clear language?

     No.

>int x, y;
>
>invariant x+y=6; --- not an assignment
>y := 7;
>print (x); -- prints -1
>print (y); -- prints 6

     7.

>x:= 5;
>print (x); -- prints 5
>print (y); -- prints 1

     I dislike the possibilities for obfuscation by implied assignment.

Sincerely,

Gene Wirchenko

Computerese Irregular Verb Conjugation:

     I have preferences.
     You have biases.
     He/She has prejudices.