Go backward to A Dynamically Typed Language with Input and Output Go up to Top Go forward to Composition of States |
store, input and output buffers
OK = State, Err = State
successful evaluation or type error
Program takes input store and input buffer and returns a new state
Command takes state and returns a new state.
Expression takes store and returns a value.