LiveTyping

You may (or may not?) find this interesting, by one of the cuis-smalltalk maintainers: [LiveTyping](https://github.com/hernanwilkinson/LiveTyping) is a project which keeps track of types (and shows them to you) as they become known to the vm. PS: cuis smalltalk = a less-bloaty "distribution" of squeak (I say "distribution" rather than fork, as that more closely captures the spirit. Its just a thorough culling of the core classes, and stripping out of extraneous stuff - all running on the same squeak vm)

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