結果 : static vs dynamic type checking