Closed theodore-norvell closed 6 years ago
One way to achieve this objective is to make all mutable fields of run-time objects (VMS, Evaluations, Values) use transactional memory as outlined in this blog post and implemented in the Teaching Machine.
Done.
All aspects of the virtual machine state need to be made undoable.