Flow е проверка на статичен тип за JavaScript, който изградихме във Facebook.Цялостната мисия на Flow е да предостави впечатляващо кодиране на разработчиците на JavaScript - бърз цикъл на редактиране и обновяване - дори когато кодовата база се развива и разраства.В инженерно отношение ние идентифицираме две конкретни цели, които са важни за тази мисия: прецизност и бързина.Тези цели всеобхватно задвижват дизайна и изпълнението.Прецизните грешки в JavaScript могат да окажат значително влияние върху Facebook.Разработчиците искат да намерят и коригират колкото се може повече бъгове до момента, в който кодът им се появи на пазара.Затова трябва да се грижим за здравината.В същото време ние също трябва да се грижим да не съобщаваме твърде много лъжливи грешки, тъй като ниското съотношение сигнал / шум предполага ниска скорост на фиксиране.С други думи, ние искаме анализът на Flow да бъде прецизен на практика - той трябва да моделира основните характеристики на езика достатъчно точно, за да разбере разликата между идиоматичния код и неволните грешки.Прецизната скорост обикновено идва с цената на скоростта.Но въпреки че е желателен точен анализ, по-голямата част от обжалването на JavaScript се губи, ако забавим цикъла на редактиране-опресняване, като накараме разработчиците да изчакат, докато компилираме.С други думи, ние трябва да проектираме анализа на Flow за изключително бърз - той трябва да реагира на промените в кода без забележимо забавяне, като същевременно все още е достатъчно точен на практика.