結果 : types of type checking in compiler design