Flow je alat za provjeru statičkog tipa za JavaScript koji smo izgradili na Facebooku.Cjelokupna misija Flow-a je pružiti immersive iskustvo kodiranja za JavaScript programere - brzi ciklus uređivanja i osvježavanja - čak i kako se baza koda razvija i raste.Inženjersko gledano, identificiramo dva konkretna cilja koja su važna za ovu misiju: ​​preciznost i brzina.Ovi ciljevi prožimaju razvoj i implementaciju.Precizni JavaScript pogreške mogu imati značajan utjecaj na Facebook.Programeri žele pronaći i popraviti što više grešaka do trenutka kada im se kôd uvede u proizvodnju.Stoga se moramo brinuti o zvučnosti.Istodobno, moramo se brinuti i o tome da ne prijavimo previše lažnih pogrešaka, jer nizak omjer signal / šum podrazumijeva nisku stopu popravljanja.Drugim riječima, želimo da Flowova analiza bude precizna u praksi - ona mora modelirati osnovne karakteristike jezika dovoljno točno da bismo shvatili razliku između idiomatskog koda i nenamjernih pogrešaka.Preciznost brzine obično dolazi po cijeni brzine.Iako je poželjna precizna analiza, većina žalbi JavaScripta gubi se ako usporimo ciklus uređivanja i osvježavanja natjerajući programere da pričekaju dok kompiliramo.Drugim riječima, moramo provesti analizu Flowa iznimno brzo - ona mora reagirati na promjene koda bez primjetnog odgađanja, iako je u praksi još uvijek dovoljno precizna.