結果 : static and dynamic type checking with example