Friday, April 03, 2009

Oz: Variable to Variable Binding

Just like in Haskell, in Oz you can do the following:
declare A B C
{Browse A}
This shows the value 3. Crazy!

1 comment:

xtian said...

And it'll assign the other way, too:

declare A B
B = 3
B = A
{Browse A}

will show 3.

Basically, assignments in Oz aren't assignments - they're statements about the world which Oz will make true, if it can, by binding values to variables.

Data flow variables for concurrency are interesting too.