类型的符号 ident 命名类型 ident<type,...,type> 被实例化的类型 type * ... * type 元组类型 type[] 数组类型←注意:不是类型的[]表示空数组 #type 可变类型(表示type的派生类) 'ident 可变类型 type -> type 函数类型