結果 : type annotation with default value python