在 ECMAScript 中，變量可以存在兩種類型的值，即原始值和引用值。
- 原始值
- 存儲在棧（stack）中的簡單資料段，也就是說，它們的值直接存儲在變量通路的位置。
- 引用值
- 存儲在堆（heap）中的對象，也就是說，存儲在變量處的值是一個指針（point），指向存儲對象的記憶體處。
為變量指派時，ECMAScript 的解釋程式必須判斷該值是原始類型，還是引用類型。要實作這一點，解釋程式則需嘗試判斷該值是否為 ECMAScript 的原始類型之一，即 Undefined、Null、Boolean、Number 和 String 型。由于這些原始類型占據的空間是固定的，是以可将他們存儲在較小的記憶體區域 - 棧中。這樣存儲便于迅速查尋變量的值。
在許多語言中，字元串都被看作引用類型，而非原始類型，因為字元串的長度是可變的。ECMAScript 打破了這一傳統。
如果一個值是引用類型的，那麼它的存儲空間将從堆中配置設定。由于引用值的大小會改變，是以不能把它放在棧中，否則會降低變量查尋的速度。相反，放在變量的棧空間中的值是該對象存儲在堆中的位址。位址的大小是固定的，是以把它存儲在棧中對變量性能無任何負面影響。如下圖所示：
原始類型
如前所述，ECMAScript 有 5 種原始類型（primitive type），即 Undefined、Null、Boolean、Number 和 String。ECMA-262 把術語類型（type）定義為值的一個集合，每種原始類型定義了它包含的值的範圍及其字面量表示形式。
ECMAScript 提供了 typeof 運算符來判斷一個值是否在某種類型的範圍内。可以用這種運算符判斷一個值是否表示一種原始類型：如果它是原始類型，還可以判斷它表示哪種原始類型。