Someone was looking into doing this on Robert Strandh's lisp implementation. The existence of first-class global environments on it allows for saving off the e

Someone was looking into doing this on Robert Strandh's lisp implementation. The existence of first-class global environments on it allows for saving off the entire environment on a defmethod and recompiling all methods for static dispatch every time a new defmethod occurs. This was being talked about at least 5 years ago; not sure if any work has been done on it in the interim.