I consider the values of a program's variables to be part of its state.
It's somewhat odd (read "probably a mistake") if a variable can be visible before it is bound in a functional language. If the execution model does anything other than block until a variable's binding is available, its bind state is mutable state, with all of the problems that entails.
It's somewhat odd (read "probably a mistake") if a variable can be visible before it is bound in a functional language. If the execution model does anything other than block until a variable's binding is available, its bind state is mutable state, with all of the problems that entails.