ECMAScript Specification Types ( 規範類型 )

規範類型用來描述 ECMAScript 語言構造和 ECMAScript 語言類型。包括 Reference、 List、Completion Record、Property Descriptor、Environment Record、Abstract Closure、Data Block。規範類型不需要也通常不會在語言中實現，但某些規範類型可以透過語言提供的方法檢視，如屬性描述器。

The Enum Specification Type

Enum 無法直接從語言中觀察到。例如，Completion Record 的 [[Type]] 欄位使用像 normal、return 或 throw 這樣的值。枚舉除了名稱外沒有其他特徵。

The List and Record Specification Types

List 類似於語言中的陣列型別，可用索引值指定讀取的目標。而 Record 則類似語言中的物件型別，名稱以 [[]] 括起來，如 [[value]]