Re: more on delete from join

From: Gene Wirchenko <genew_at_ocis.net>
Date: Tue, 01 Sep 2009 19:38:24 -0700
Message-ID: <dhmr9555eoabaderbjoqfb4khl04ffg9gf_at_4ax.com>



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.
Received on Tue Sep 01 2009 - 21:38:24 CDT

Original text of this message