27、多态类型环境的解析

多态类型环境的解析

1. 类型与行为的基础语法

类型（Types）和行为（Behaviors）是构建整个系统的基础，下面分别对它们的语法进行介绍。

1.1 类型语法

类型的语法规则如下：

σ, τ ∈Typ ::= bool | int | real | string | · · ·
              | σ →τ
              | ×(σ1, . . . , σk)
              | amb[b, b′]
              | cap[B]
T ∈Topics = {
  
  {τ1, . . . , τm} | m ⩾0 and arity(τi) ̸= arity(τj) for i ̸= j}

其中， bool 、 int 、 real 、 string 等为类型常量； σ →τ 表示函数类型； ×(σ1, . . . , σk) 表示元组类型，元组的元数 k ⩾0 ； amb[b, b′] 是环境名称的类型； cap[B] 是能力的类型。

当不会产生歧义时，我们可以将 ×(σ) 简写成 σ ，将 ×(σ1, . . . , σ