8.1.1.1.3 CreateImmutableBinding ( N, S )

具体的环境记录方法 CreateImmutableBinding 用于声明性环境记录为未初始化的名称 N 创建一个新的不可变绑定。 N 的此环境记录中不能存在绑定。如果布尔参数 S 的值为 true，则新绑定将标记为严格绑定。

1. 使 envRec 变为调用该方法的声明性环境记录。

2. 断言：envRec 不具有 N 的绑定。

3. 在 envRec 中为 N 创建一个不可变绑定，并记录它是未初始化的。 如果 S 为真，则记录新创建的绑定是严格绑定。

4. 返回 NormalCompletion(empty)。