[webwarrior]

In Pharo (modern Smalltalk implementation) you can get some info from VM and JIT.

Someone is already working on type inference using VM caches.

See http://forum.world.st/parameters-of-the-virtual-machine-td48...