Joe Marshall: Substitution vs. State Transition
With a traditional curly brace language, you have a model of a machine. A program specifies a sequence of state transitions that the machine should go through. When all the state transitions have taken place, the machine is in a final state, and the program is done. As a programmer, you...