結果 : type safe programming language definition