Twórcom przeglądarki Mozilla Firefox udało się przyspieszyć działanie silnika JavaScript dzięki wprowadzeniu inferencji typów do kompilatora.
Prace nad modyfikacją kompilatora JaegerMonkey trwały przez 18 miesięcy. W ich wyniku udało się z powodzeniem dodać inferencję typów zmiennych, co według testów pozwoliło na zwiększenie szybkości skompilowanego kodu o 20 - 30%. Nowy kompilator miał trafić do Firefoksa 5, ale w wyniku opóźnienia trafi do wersji 9.
W języku JavaScript programista nie deklaruje zmiennych, jako mających konkretny typ, występuje więc tzw. słabe typowanie. Może to ułatwić pisanie kodu, ale spowalnia szybkość jego wykonywania, gdyż typy zmiennych są znane dopiero podczas działania skryptu i trzeba je sprawdzać na bieżąco. Dzięki inferencji typów kompilator może określić typ zmiennej na podstawie typu znajdującego się po prawej stronie znaku przypisania.
