本规范中的算法操纵每个具有相关联类型的值。 可能的值类型是在本节中定义的。 类型进一步细分为 ECMAScript 语言和规范类型。
在本规范中，“Type(x)” 写法是 “the type of x”的缩写形式，其中 “type” 是指在本节中定义的 ECMAScript 语言和规范类型。当使用术语 “empty” 命名一个值时，它等价于 “任何类型都没有值”。