Variables: Difference between revisions

Content added Content deleted
(Added Oz. (Oops, that was longer than expected.))
Line 385: Line 385:
In the Emacs-based <em>interactive environment</em>, <code>declare</code> creates a new open scope in which variables can be declared. The variables are visible for the entire rest of the session.
In the Emacs-based <em>interactive environment</em>, <code>declare</code> creates a new open scope in which variables can be declared. The variables are visible for the entire rest of the session.


(Most operations on free variables block until the variables has been bound. <code>Show</code> on the other hand always proceeds.)
Most operations on free variables block until the variables have been bound (but not <code>Show</code> as used above).


Assignment to dataflow variables is also called unification. It is actually a symmetric operation, e.g. the following binds B to 3:
Assignment to dataflow variables is also called unification. It is actually a symmetric operation, e.g. the following binds B to 3: