3.2类型和项 3.2.1类型的语法 ·简单类型化)演算的类型表达式文法 o:=b null|unit|o+oo×oo-→o b:类型常量 nnll:初始类型 unit:终结类型 和、积与函数类型 类型表达式中不含类型变量 用入、入×，→和入+，×，来命名所讨论的演算3.2 类型和项 3.2.1 类型的语法 • 简单类型化演算的类型表达式文法  ::= b | null | unit |  + |   |  → b：类型常量 null：初始类型 unit：终结类型 和、积与函数类型 类型表达式中不含类型变量 • 用→ 、 →和 +→来命名所讨论的演算