静的型推論