"...Existují studie, které se touto problematikou zabývají, a funkční projekty, které umožňují pomocí velice sofistikovaných postupů určovat typy smalltalkovských výrazů..."
Konkrétně např. http://typeinference.swiki.net/1
Studie na toto téma se objevují od roku 1983, kdy se Smalltalk dostal na veřejnost. Každopádně má svá principiální omezení a nelze ji použít vždy.
