"The evaluator, which determines the meaning of expressions in a programming language, is just another program."