ローカル型推論はフローの注釈要件を控えめに増やし、業界標準に近づけ、より強く明確に型付けされたコードベースを利用することで、フローの推論挙動をより信頼性のある予測可能なものにします。