Flow ist eine statische Typprüfung für JavaScript, die wir bei Facebook erstellt haben.Die Hauptaufgabe von Flow ist es, JavaScript-Entwicklern ein umfassendes Programmiererlebnis zu bieten - einen schnellen Zyklus zum Bearbeiten und Aktualisieren - selbst wenn sich die Codebasis weiterentwickelt und wächst.In technischer Hinsicht identifizieren wir zwei konkrete Ziele, die für diese Mission wichtig sind: Präzision und Geschwindigkeit.Diese Ziele bestimmen maßgeblich das Design und die Implementierung.Präzise JavaScript-Fehler können erhebliche Auswirkungen auf Facebook haben.Entwickler möchten so viele Fehler wie möglich finden und beheben, bis der Code in die Produktion eingeführt wird.Wir müssen uns also um die Gesundheit kümmern.Gleichzeitig müssen wir uns auch darum kümmern, nicht zu viele Störfehler zu melden, da ein niedriges Signal / Rausch-Verhältnis eine niedrige Fixrate impliziert.Mit anderen Worten, wir möchten, dass die Analyse von Flow in der Praxis präzise ist - sie muss die wesentlichen Merkmale der Sprache genau genug modellieren, um den Unterschied zwischen idiomatischem Code und unbeabsichtigten Fehlern zu verstehen.Geschwindigkeit Präzision geht in der Regel zu Lasten der Geschwindigkeit.Obwohl eine genaue Analyse wünschenswert ist, geht der größte Teil der Attraktivität von JavaScript verloren, wenn wir den Bearbeitungs-Aktualisierungs-Zyklus verlangsamen, indem wir Entwickler beim Kompilieren warten lassen.Mit anderen Worten, wir müssen die Analyse von Flow so konstruieren, dass sie extrem schnell ist. Sie muss ohne nennenswerte Verzögerung auf Codeänderungen reagieren und dennoch in der Praxis präzise genug sein.