[erlang-questions] process dictionary, anyone?

[ok]

To a first approximation, the process dictionary can be regarded as
a functional feature.  Replace
	X = f(Y, Z)
by
	{X,NewDict} = f(Y, Z, OldDict)
systematically.  The main thing is that (unlike SML and CAML, for
example, which have genuinely mutable data structures), keys and
values in the process dictionary are not themselves mutable.

(Techniques for mapping imperative style to declarative style can
be found in The Craft of Prolog, cribbed from a paper about how to
verify Fortran code using the Boyer-Moore (Lisp) theorem prover.)