Flow jest statycznym narzędziem do sprawdzania kodu JavaScript, które stworzyliśmy na Facebooku.Ogólną misją Flow jest dostarczenie programistom JavaScript wciągających wrażeń związanych z kodowaniem - szybki cykl edycji i odświeżania - nawet w miarę ewolucji i rozwoju bazy kodu.Pod względem inżynieryjnym identyfikujemy dwa konkretne cele, które są ważne dla tej misji: precyzja i szybkość.Cele te w szerokim zakresie napędzają projektowanie i wdrażanie.Precyzyjne błędy JavaScript mogą mieć znaczący wpływ na Facebooku.Deweloperzy chcą znaleźć i naprawić jak najwięcej błędów, zanim ich kod zacznie działać.Musimy więc dbać o solidność.Jednocześnie musimy również dbać o to, aby nie zgłaszać zbyt wielu fałszywych błędów, ponieważ niski stosunek sygnału do szumu implikuje niską częstość napraw.Innymi słowy, chcemy, aby analiza Flow była precyzyjna w praktyce - musi modelować wystarczająco istotne cechy języka, aby zrozumieć różnicę między kodem idiomatycznym a niezamierzonymi błędami.Precyzja prędkości zwykle odbywa się kosztem prędkości.Ale chociaż pożądana jest dokładna analiza, większość odwołania JavaScript jest tracona, jeśli spowolnimy cykl edycji i odświeżania, zmuszając programistów do czekania podczas kompilacji.Innymi słowy, musimy zaprojektować analizę Flow, aby była niezwykle szybka - musi reagować na zmiany kodu bez zauważalnego opóźnienia, a jednocześnie być wystarczająco precyzyjna w praktyce.