O Flow é um verificador de tipo estático para JavaScript que criamos no Facebook.A missão geral do Flow é oferecer uma experiência de codificação imersiva para desenvolvedores de JavaScript - um ciclo rápido de edição e atualização - 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.Esses objetivos geralmente direcionam o design e a implementação.Erros de precisão no JavaScript podem ter um impacto significativo no Facebook.Os desenvolvedores desejam encontrar e corrigir o máximo de bugs possível no momento em que seu código é lançado na produção.Portanto, devemos nos preocupar com a solidez.Ao mesmo tempo, também devemos nos preocupar em não relatar muitos erros espúrios, porque uma baixa relação 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 - ela deve modelar características essenciais da linguagem com precisão suficiente para entender a diferença entre código idiomático e erros não intencionais.A precisão da velocidade geralmente tem o custo da velocidade.Porém, embora seja desejável uma análise precisa, a maior parte do apelo do JavaScript será perdida se desacelerarmos o ciclo de edição e atualização, fazendo com que os desenvolvedores esperem enquanto compilamos.Em outras palavras, devemos projetar a análise de Flow para ser extremamente rápida - ela deve responder às alterações de código sem demora perceptível, enquanto ainda é suficientemente preciso na prática.