Flow é um verificador de tipo estático para JavaScript que construímos no Facebook. A missão geral do Flow é oferecer uma experiência de codificação imersiva para os desenvolvedores de JavaScript – um ciclo rápido de edição-refresco – mesmo quando a base de código evolui e cresce. Em termos de engenharia, identificamos dois objetivos concretos que são importantes para esta missão: precisão e velocidade. Essas metas impulsionam o design e a implementação. Precisão Os bugs JavaScript podem ter impacto significativo no Facebook. Os desenvolvedores querem encontrar e corrigir tantos bugs como eles podem no momento em que seu código rola em produção. Então temos de nos preocupar com a solidez. Ao mesmo tempo, também devemos nos preocupar em não relatar muitos erros espúrios, porque uma baixa taxa de sinal/ruído implica uma baixa taxa de correção. Em outras palavras, queremos que a análise de Flow seja precisa na prática - deve modelar características essenciais da linguagem exatamente o suficiente para entender a diferença entre o código idiomático e os erros não intencionais. Velocidade A precisão geralmente vem ao custo da velocidade. Mas enquanto uma análise precisa é desejável, a maioria do apelo de JavaScript é perdido se retardar o ciclo de edição-refresh, fazendo os desenvolvedores esperar como compilar. Em outras palavras, devemos projetar a análise da Flow para ser extremamente rápida - deve responder às mudanças de código sem demora perceptível, enquanto ainda sendo preciso o suficiente na prática.