結果 : what is equivalence of type expression in compiler design