Flow is a static type checker for Javascript (by Facebook)