🚀 go-pugleaf

Is there any literature on taking assignment/initialization of
variables as "definition", i.e., that

mytype M = A*B;

is taken to mean that M is defined as the product of A and B, and that
changes to A will cause M to change?  Perhaps there's a
general-purpose language in which this is done (aside from
spreadsheets and special-purpose constraint languages)?  It implies
that evaluation will be more than lazy, in that evaluations get out of
date.  Other facilities are also required, such as freezing current
values (e.g., freezing B in the example above (by copying it)).

I've found a simple way to do this in C++, and it has greatly
simplified my code for one application, but I have only a few dozen
data objects to which it applies.  As my application is restricted, I
haven't had to think out the semantics of "definition" too thoroughly,
and I am wondering if I have overlooked some important problem in
applying the technique in general.

Othar Hansson
CS Division
UC Berkeley
...!ucbvax!ernie!othar
othar@ernie.berkeley.edu