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.