This is called image computing and Lisp/Smalltalk did it. Emacs has a form of it called undump. I dislike it because it violates the "rule of least power". Bas

This is called image computing and Lisp/Smalltalk did it. Emacs has a form of it called undump. I dislike it because it violates the "rule of least power". Basically, if you never have to validate your internal data, you can never tell it's corrupt.