Isn't that Haskell? Or any other declarative, lazily-evaluated landuage. Granted, you need to use something like the ST monad to be able to "change the value o

Isn't that Haskell? Or any other declarative, lazily-evaluated landuage. Granted, you need to use something like the ST monad to be able to "change the value of x," but once you do, all other values fall into place like dominoes.