結果 : static type checking and dynamic type checking