結果 : type safe programming meaning