Flow est un vérificateur de type statique pour JavaScript que nous avons créé sur Facebook.La mission globale de Flow est de fournir une expérience de codage immersive aux développeurs JavaScript - un cycle d'édition-actualisation rapide - même lorsque la base de code évolue et se développe.En termes d'ingénierie, nous identifions deux objectifs concrets qui sont importants pour cette mission: la précision et la vitesse.Ces objectifs déterminent de manière omniprésente la conception et la mise en œuvre.Les bogues JavaScript de précision peuvent avoir un impact significatif sur Facebook.Les développeurs veulent trouver et corriger autant de bogues que possible au moment où leur code est déployé en production.Nous devons donc nous soucier de la solidité.Dans le même temps, nous devons également veiller à ne pas signaler trop d'erreurs parasites, car un faible rapport signal / bruit implique un faible taux de correction.En d'autres termes, nous voulons que l'analyse de Flow soit précise dans la pratique - elle doit modéliser les caractéristiques essentielles du langage avec suffisamment de précision pour comprendre la différence entre le code idiomatique et les erreurs involontaires.La précision de la vitesse vient généralement au détriment de la vitesse.Mais alors qu'une analyse précise est souhaitable, la majeure partie de l'attrait de JavaScript est perdue si nous ralentissons le cycle d'édition-actualisation en faisant attendre les développeurs pendant la compilation.En d'autres termes, nous devons concevoir l'analyse de Flow pour qu'elle soit extrêmement rapide - elle doit répondre aux changements de code sans délai notable, tout en étant suffisamment précise dans la pratique.