結果 : write difference between static and dynamic type checking