結果 : differentiate between static and dynamic type checking with examples