In der aktuellen Entwicklerversion von Firefox 9 wurde die JavaScript-Engine um Typinferenz erweitert. Vereinfacht gesagt ist es so, dass es in nahezu jeder Programmiersprache Typen für Variablen und Funktionen gibt, beispielsweise Ganzzahlen, Dezimalzahlen oder Zeichenketten. Während in statisch typisierten Sprachen der Typ einer jeden Funktion und Variable explizit festgelegt werden muss, muss sich der Programmierer in dynamisch typisierten Sprachen wie JavaScript nicht die Arbeit machen, den Typen explizit anzugeben womit die Typzuweisung zur Laufzeit geschieht, was auf Lasten der Performance gehen kann. Typinferenz schließt hier die Lücke – auf das Schreiben der Typangaben kann verzichtet werden, die Typen werden anhand von Typisierungsregeln und restlicher Angaben hergeleitet.