結果 : python static type checking tools