| As far as I understood the matter, referential transparency
| denotes the property of a language, in which variables of the
| same scope do not change their value.
So ML and Erlang are referentially transparent too?
Doesn't referential transparency include something about
functions returning the same result if called with
the same arguments?
Regards,
Koen.
--
Koen Claessen http://www.cs.chalmers.se/~koen
phone:+46-31-772 5424 e-mail:[EMAIL PROTECTED]
-----------------------------------------------------
Chalmers University of Technology, Gothenburg, Sweden
