結果 : static type checking vs dynamic type checking