ECMAScript は、C++、Smalltalk あるいは Java のような厳密なクラスを持たない。だが、コードの実行によりオブジェクトを生成するコンストラクタをサポートし、このコードはオブジェクトに記憶領域を確保し、オブジェクトの全て又は一部をプロパティへの初期値代入によって初期化する。コンストラクタは全てオブジェクトであるが、しかし、すべてのオブジェクトがコンストラクタということではない。コンストラクタはそれぞれ prototype プロパティを持ち、プロトタイプベースの継承および共有プロパティの実装に使用される。オブジェクトは new 式中でのコンストラクタ使用により生成される; 例えば、new String("A String") は新しい String オブジェクトを生成する。 new を使用しないコンストラクタの呼出しの結果は、コンストラクタに依存する。例えば、 String("A String") は、オブジェクトではなくプリミティブな文字列を生成する。

ECMAScript はプロトタイプベースの継承をサポートする。コンストラクタは皆関連づけられたプロトタイプを持ち、また、そのコンストラクタに作成されたオブジェクトは皆、そのコンストラクタに関連づけられたプロトタイプ (オブジェクトのプロトタイプと呼ばれる) に暗黙の参照がある。プロトタイプは、更にそのプロトタイプに null 以外の暗黙の参照があるかもしれない(以下同様である); これはプロトタイプチェーン (prototype chain) と呼ばれる。オブジェクトのプロパティへが参照される場合、その参照は、プロトタイプチェーン中でその名前のプロパティを持つ最初のオブジェクトのプロパティへの参照である。言いかえれば、まず直接指定されたオブジェクトが、そのプロパティの有無を検査される; そのオブジェクトが指定されたプロパティを持つ場合、それが参照するプロパティである; そのオブジェクトが指定のプロパティを持たない場合、そのオブジェクトのプロトタイプが次に検査される; 以下同様に続く。

クラスベースのオブジェクト指向の言語では、一般に、状態(state) がインスタンスによって運ばれ、メソッドはクラスによって運ばれ、継承は構造(strucutuer) と振る舞い(behaviour) にのみ存在する。ECMAScriptでは、状態およびメソッドがオブジェクトによって運ばれ、構造、振る舞い、状態がすべて継承される。

プロトタイプが持つプロパティを直に持たないオブジェクトはすべて、プロパティとその値を共有する。次の図がこれを例示する:

CF はコンストラクタである(オブジェクトでもある)。5 つのオブジェクト: cf1, cf2, cf3, cf4, cf5 が new 式の使用により作成されている。これらのオブジェクトの各々は、q1 と q2 というプロパティを持つ。破線は暗黙のプロトタイプ関係を表わす; したがって、例えば、cf3 のプロトタイプは CFp である。コンストラクタ(CF) は、それ自身で P1 および P2 と名づけられた 2 つのプロパティを持つ(それは、CFp, cf1, cf2, cf3, cf4, cf5 からは見えない)。CFp の CFP1 というプロパティは、 CFp の暗黙のプロトタイプチェーン上で見つかる q1, q2, CFP1 という名でない任意のプロパティであり、cf1, cf2, cf3, cf4, cf5 に共有される( CF に共有されるのではない)。暗黙のプロトタイプ・リンクが CF と CFp の間にないことに注目しなさい。

クラスベースのオブジェクト言語と異なり、プロパティは値の代入によって、オブジェクトに動的に追加できる。すなわち、コンストラクタは、構築されるオブジェクトの全てまたは任意のプロパティの命名や値の代入を要求されない。上図では、CFp 内でプロパティに新たな値を代入することで、cf1, cf2, cf3, cf4, cf5 に新しい共有プロパティを追加できる。

型 (type) とはデータ値の集合である。

プリミティブ値 (primitive value) は Undefined, Null, Boolean, Number, String 型のうちの一つの構成要素である。プリミティブ値は言語実装の最低レベルにおいて直接表されるデータである。

オブジェクトは Object 型の構成要素である。序列のないプロパティの集合体で、それぞれのプロパティがプリミティブ値やオブジェクト、関数を含む。オブジェクトのプロパティに格納された関数はメソッドと呼ばれる。

コンストラクタとは、オブジェクトを生成し初期化する Function オブジェクトのことである。各コンストラクタは関連する prototype オブジェクトを持ち、継承と共有プロパティの実装に用いられる。

プロトタイプはオブジェクトであり、ECMAScript 中では、構造(structure), 状態(state), 振る舞い(behaviour) の継承に用いられる。コンストラクタがオブジェクトを生成するとき、プロパティの参照を解決する目的で、そのオブジェクトは暗黙にコンストラクタに関連するプロトタイプを参照する。コンストラクタに関連するプロトタイプはプログラム式 constructor.prototype で参照され、オブジェクトのプロトタイプに追加されたプロパティは、継承を通して、そのプロトタイプを共有する全オブジェクトによって共有される。

Native オブジェクトは、 ECMAScript 実装によって提供される任意のオブジェクトで、ホスト環境に依存しない。標準 Native オブジェクトは本仕様中で定義される。Native オブジェクトの一部は Built-in(組み込み) である。他のものは ECMAScript プログラムの実行行程の間に構築されるだろう。

Built-in オブジェクトは ECMAScript 実装によって提供される任意のオブジェクトであり、ECMAScript プログラムの実行の開始時に存在するホスト環境に依存しない。標準 Built-in オブジェクトは本仕様中に定義され、ECMAScript 実装は他を定義してもよい。全 Built-in オブジェクトは Native オブジェクトである。

Host オブジェクトは ECMAScript の実行環境を満たすためにホスト環境によって提供される任意のオブジェクトである。Native でない任意のオブジェクトは Host オブジェクトである。

undefined 値は、プリミティブ値であり、変数に値が代入されていないときに用いられる。

Undefined 型は、厳密には undefined と呼ばれるひとつの値を取る。

null 値は、プリミティブな値であり、ヌル、空(empty)、存在しない参照を表す。

Null 型は、厳密には null と呼ばれるひとつの値を取る。

真偽値は Boolean 型の元 (member:集合を構成するもの) で、一意的な二つの値、 true と false の一方である。

Boorean 型は論理的実体を表し、厳密には二つの一意的な値で構成される。一方は true と呼ばれ、他方は false と呼ばれる。

Boolean オブジェクトは Object 型の元で、組込み Boolean オブジェクトのインスタンスである。つまり、 Boolean オブジェクトは、 new 式内で引数にブーリアンを渡した Boolean コンストラクタを用いて作成される。結果のオブジェクトはブーリアンである暗黙の(無名の)プロパティを持つ。 Boolean オブジェクトはブーリアン値に強制される。

文字列値は String 型の元で、0 以上の 16 ビット符号なし整数値による有限の順序あるシーケンスである。

String 型はすべての文字列値の集合である。

String オブジェクトは Object 型の元で、組込み String オブジェクトのインスタンスである。つまり、String オブジェクトは new 式内で引数として文字列を供給する String コンストラクタを用いて生成される。結果のオブジェクトは文字列である暗黙の(無名の)プロパティを持つ。 String コンストラクタの関数としての呼び出しにより、 String オブジェクトは文字列値に強制される。

数値は Number 型の元で、数を直接表現する。

Number 型は数を表す値の集合である。 ECMAScript において、値の集合は、特殊な "Not-a-Number" (NaN) 値、正の無限大、負の無限大を含めた倍精度64ビット形式 IEEE 754 値である。

Number オブジェクトは Object 型の元で、組込み Number オブジェクトのインスタンスである。つまり、 Number オブジェクトは new 式において Number コンストラクタに引数として数を渡して生成される。結果のオブジェクトは数字である暗黙の (無名の) プロパティを持つ。 Number オブジェクトは関数としての Number コンストラクタ呼び出し (セクション 15.7.1) によって数値に矯正できる。

プリミティブ値 Infinity は正の無限大をあらわす。この値は Number 型の元である。

プリミティブ値 NaN は、 IEEE 標準 "Not-a-Number" 値のセットあらわす。この値は Number 型の元である。