Flow er en statisk type-checker til JavaScript, som vi byggede på Facebook.Flow's overordnede mission er at levere en fordybende kodningsoplevelse for JavaScript-udviklere - en hurtig redigeringsopdateringscyklus - selv når kodebasen udvikler sig og vokser.Teknisk set identificerer vi to konkrete mål, der er vigtige for denne mission: præcision og hastighed.Disse mål driver gennemtrængende design og implementering.Præcise JavaScript-fejl kan have betydelig indflydelse på Facebook.Udviklere ønsker at finde og rette så mange fejl, som de kan, når deres kode rulles ud til produktion.Så vi skal passe på sundhed.Samtidig må vi også passe på, at vi ikke rapporterer for mange falske fejl, fordi et lavt signal / støjforhold indebærer en lav fix rate.Med andre ord, vi ønsker, at Flows analyse skal være præcis i praksis - den skal modellere væsentlige karakteristika for sproget nøjagtigt nok til at forstå forskellen mellem idiomatisk kode og utilsigtede fejl.Hastighed Præcision kommer normalt til prisen for hastigheden.Men selvom en præcis analyse er ønskelig, går det meste af appellen til JavaScript tabt, hvis vi bremser redigeringsopdateringscyklussen ved at få udviklere til at vente, mens vi kompilerer.Med andre ord, vi skal konstruere Flows analyse for at være ekstremt hurtig - den skal svare på kodeændringer uden mærkbar forsinkelse, mens den stadig er præcis nok i praksis.