Right now the CLI REPL always prints the trace of the evaluation.
It would be nice to have a function that toggles that on and off. It would be a "meta-function" in the sense that there's no representation in Joy of the interpreter. We're introducing state in the interpreter that isn't in the stack or expression. From the POV of semantics this toggle function is an identity function (or no-op.)
One possibility is a "tracing" i combinator that works just like i but prints the trace as a side-effect. There could be a combinator that returns the history of the eval, instead of just the result?
sforman 
Fork
Right now the CLI REPL always prints the trace of the evaluation.
It would be nice to have a function that toggles that on and off. It would be a "meta-function" in the sense that there's no representation in Joy of the interpreter. We're introducing state in the interpreter that isn't in the stack or expression. From the POV of semantics this toggle function is an identity function (or no-op.)