結果 : type checking and type conversion in programming language