> the situation is the same for Lisp with its dynamic typing
Common Lisp and Smalltalk (quintessential dynamic systems) both track the existing instances of a class. If you update the class definition then they can update the existing instances of the class. In CL you'd want to specialize `update-instance-for-redefined-class` to handle the update.
http://clhs.lisp.se/Body/f_upda_1.htm#update-instance-for-re...