8.4 设计表达的类型