Expressive Power
lEvery imperative program can
be expressed as an equivalent functional program
lThe general idea:
lThe ÒstateÓ of an imperative program
consists of a set of bindings of values to variables.
lA statement, or sequence of
statements, in an imperative program can be regarded as a transformation of one state to another.
lThe transformation
represented by a statement can be expressed as a function.