結果 : static vs dynamic type checking in compiler design