Typ slutledning och typ rekonstruktion härleda statiska typer för programelement som inte har någon statisk typ i samband med dem. De har ett brett spektrum av användning, såsom att hjälpa till att eliminera bördan av manuellt specificera typer, kontrollera om ett program är typ-säker, hjälpa till att producera mer optimerad kod eller hjälpa till att förstå program. Även om typ slutledning och typ rekonstruktion är ett aktivt forskningsområde, de flesta befintliga tekniker är främst intresserade av precisionen i sina metoder, på bekostnad av utförande hastighet. Som ett resultat av detta är befintliga strategier inte lämpliga för att ge direkt återkoppling i utvecklingsmiljöer, där interaktivitet dikterar mycket snabba tillvägagångssätt. Detta dokument presenterar en typ rekonstruktion algoritm för variabler som är extremt snabb (i storleksordningen millisekunder) och någorlunda exakt (75 procent). Systemet implementeras som bytekodsutvärderare i flera Smalltalk-miljöer och dess exekveringshastighet och precision valideras i ett antal konkreta fallstudier.
Pluquet m.fl. presentera en metod för typslutsats för Smalltalk, som de beskriver som "extremt snabb [. . ] och någorlunda exakt" REF.
Fast type reconstruction for dynamically typed programming languages
{'venue': "DLS '09", 'journal': None, 'mag_field_of_study': ['Computer Science']}