結果 : types of type expression in compiler design