結果 : what is a type safe programming language