使用python3的typing模块提高代码健壮性