[ekvintroj]

There is something similar (but more powerful) for Smalltalk, it collects the types as you run the code and then it is used to improve the refactors.

Check it out. https://github.com/hernanwilkinson/LiveTyping