本地类型推断通过适度增加 Flow 的注释要求，使 Flow 的推断行为更加可靠和可预测，使其更接近行业标准，并利用越来越强和明确类型的代码库。