類型

本規(guī)范的算法操作各個(gè)有類型的值，可處理的類型在算法相關(guān)敘述中定義。類型又再分為 ECMAScript 語言類型 與 規(guī)范類型 。

ECMAScript 語言類型 是 ECMAScript 程序員使用 ECMAScript 語言直接操作的值對(duì)應(yīng)的類型。ECMAScript 語言類型包括 未定義 （Undefined）、 空值 （Null）、 布爾值（Boolean）、 字符串 （String）、 數(shù)值 （Number）、 對(duì)象 （Object）。

規(guī)范類型 是描述 ECMAScript 語言構(gòu)造與 ECMAScript 語言類型語意的算法所用的元值對(duì)應(yīng)的類型。規(guī)范類型包括 引用 、 列表 、 完結(jié) 、 屬性描述式 、 屬性標(biāo)示 、 詞法環(huán)境（Lexical Environment）、 環(huán)境紀(jì)錄（Environment Record）。規(guī)范類型的值是不一定對(duì)應(yīng) ECMAScript 實(shí)現(xiàn)里任何實(shí)體的虛擬對(duì)象。規(guī)范類型可用來描述 ECMAScript 表式運(yùn)算的中途結(jié)果，但是這些值不能存成對(duì)象的變量或是 ECMAScript 語言變量的值。

在本規(guī)范中，我們將「x 的類型」簡(jiǎn)寫為 Type(x) ，而類型指的就是上述的 ECMAScript 語言類型 與 規(guī)范類型 。