JavaScriptには、ECMAScript言語仕様の第8章に従って、6つの型しかありません。

したがって、コンストラクタはインスタンスを持つと言われている場合でも、技術的には新しい型を導入しません。

言語のセマンティクスと型システムのコンテキストでは、「静的」とは通常、「コンパイル時」または「プログラムを実行せずに」を意味し、「動的」とは「実行時」を意味します。

静的に型付けされた言語では、変数、パラメータ、オブジェクトのメンバー（JavaScriptではプロパティと呼びます）には、コンパイラがコンパイル時に認識する型があります。コンパイラはこの情報を使用して型チェックを実行し、コンパイル済みコードを最適化できます。

静的に型付けされた言語でも、変数には動的型（実行時の特定の時点での変数の値の型）もあります。動的型は静的型と異なる場合があります。（Javaの例）

Object foo = "abc";

fooの静的型はObjectです。動的型はStringです。

JavaScriptは動的に型付けされています。変数の型は通常、コンパイル時には認識されません。

型情報がある場合、演算（関数の呼び出し、演算子の適用など）で使用される値が正しい型かどうかを確認できます。静的に型チェックされた言語は、この種のチェックをコンパイル時に実行し、動的に型チェックされた言語は実行時に実行します。言語は静的に型チェックされ、動的に型チェックされることもできます。チェックが失敗すると、通常はエラーまたは例外が発生します。

JavaScriptは非常に限られた種類の動的型チェックを実行します。

> var foo = null;
> foo.prop
TypeError: Cannot read property 'prop' of null

ただし、ほとんどの場合、何も起こらずに失敗するか、機能します。たとえば、存在しないプロパティにアクセスすると、undefinedという値が返されます。

> var bar = {};
> bar.prop
undefined

JavaScriptでは、型が合わない値を処理する主な方法は、型強制することです。型強制とは、暗黙的な型変換を意味します。ほとんどのオペランドは型強制されます。

> '3' * '4'
12

JavaScriptの組み込み型変換メカニズムは、Boolean、Number、String、Objectの型のみをサポートしています。あるコンストラクタのインスタンスを別のコンストラクタのインスタンスに変換する標準的な方法はありません。

ここでは、undefinedとnullが発生するさまざまなシナリオを確認します。

> var foo;
> foo
undefined

> function f(x) { return x }
> f()
undefined

> var obj = {}; // empty object
> obj.foo
undefined

> function f() {}
> f()
undefined

> function g() { return; }
> g()
undefined

次のセクションでは、undefinedとnullを個別にチェックする方法、またはいずれかが存在するかどうかをチェックする方法を確認します。

if (x === null) ...

if (x === undefined) ...

// Does x have a value?
if (x !== undefined && x !== null) {
    ...
}
// Is x a non-value?
if (x === undefined || x === null) {
    ...
}

// Does x have a value (is it truthy)?
if (x) {
    ...
}
// Is x falsy?
if (!x) {
    ...
}

単一の非値が、undefinedとnullの両方の役割を果たすことができます。なぜJavaScriptにはそのような値が2つ存在するのでしょうか？その理由は歴史的なものです。

JavaScriptは、Javaのアプローチを採用し、値をプリミティブとオブジェクトに分割しました。また、Javaの「オブジェクトではない」値であるnullも使用しました。C（ただしJavaではない）で設定された前例に従って、nullは数値に強制変換されると0になります。

> Number(null)
0
> 5 + null
5

最初のバージョンのJavaScriptには例外処理がありませんでした。そのため、初期化されていない変数や欠損プロパティなどの例外的なケースは、値によって示す必要がありました。nullは良い選択肢だったでしょうが、Brendan Eichは当時2つのことを避けたいと考えていました。

その結果、Eichはundefinedを言語に追加の非値として追加しました。これはNaNに強制変換されます。

> Number(undefined)
NaN
> 5 + undefined
NaN

undefinedはグローバルオブジェクトのプロパティです（したがってグローバル変数です。The Global Objectを参照）。ECMAScript 3では、undefinedを読み取る際には注意が必要でした。なぜなら、その値を誤って変更することが簡単だったからです。ECMAScript 5では、undefinedは読み取り専用であるため、それは必要ありません。

変更されたundefinedから保護するために、2つのテクニックが人気でした（それらは古いJavaScriptエンジンにも関連しています）。

プリミティブ値（例：'abc'）は、new String('abc')などのラッパーインスタンスとは根本的に異なります。

> typeof 'abc'  // a primitive value
'string'
> typeof new String('abc')  // an object
'object'
> 'abc' instanceof String  // never true for primitives
false
> 'abc' === new String('abc')
false

ラッパーインスタンスはオブジェクトであり、JavaScriptではオブジェクトを比較する方法はありません。寛容な等価演算子==による比較もできません（Equality Operators: === Versus ==を参照）。

> var a = new String('abc');
> var b = new String('abc');
> a == b
false

ラッパーオブジェクトを使用するユースケースが1つあります。プリミティブ値にプロパティを追加したい場合です。プリミティブをラップし、ラッパーオブジェクトにプロパティを追加します。値を操作する前に、それをアンラップする必要があります。

ラッパーコンストラクタを呼び出すことでプリミティブをラップします。

new Boolean(true)
new Number(123)
new String('abc')

メソッドvalueOf()を呼び出すことでプリミティブをアンラップします。すべてのオブジェクトにはこのメソッドがあります（Conversion to Primitiveで説明）。

> new Boolean(true).valueOf()
true
> new Number(123).valueOf()
123
> new String('abc').valueOf()
'abc'

ラッパーオブジェクトをプリミティブに適切に変換すると、数値と文字列は抽出されますが、ブール値は抽出されません。

> Boolean(new Boolean(false))  // does not unwrap
true
> Number(new Number(123))  // unwraps
123
> String(new String('abc'))  // unwraps
'abc'

その理由は、Converting to Booleanで説明されています。

プリミティブには独自のメソッドがなく、ラッパーから借用します。

> 'abc'.charAt === String.prototype.charAt
true

ゆるいモードと厳格モードでは、この借用の処理が異なります。ゆるいモードでは、プリミティブは動的にラッパーに変換されます。

String.prototype.sloppyMethod = function () {
    console.log(typeof this); // object
    console.log(this instanceof String); // true
};
''.sloppyMethod(); // call the above method

厳格モードでは、ラッパーのプロトタイプからのメソッドが透過的に使用されます。

String.prototype.strictMethod = function () {
    'use strict';
    console.log(typeof this); // string
    console.log(this instanceof String); // false
};
''.strictMethod(); // call the above method

そのため、JavaScriptは値の型が間違っていることをめったに文句を言いません。たとえば、プログラムは通常、ユーザーが入力した数値であっても、オンラインフォームやGUIウィジェットからユーザー入力を文字列として受け取ります。数値としての文字列を数値として扱うと、警告は表示されず、予期しない結果になります。たとえば

var formData = { width: '100' };

// You think formData.width is a number
// and get unexpected results
var w = formData.width;
var outer = w + 20;

// You expect outer to be 120, but it’s not
console.log(outer === 120);  // false
console.log(outer === '10020');  // true

このような場合、早い段階で適切な型に変換する必要があります。

var w = Number(formData.width);

次の関数は、値をブール値、数値、文字列、またはオブジェクトに変換するための推奨される方法です。

Boolean()、Number()、String()、およびObject()は関数として呼び出されます。通常、それらをコンストラクタとして使用することはありません。そうすると、それ自身のインスタンスを作成します（Wrapper Objects for Primitivesを参照）。

値を数値または文字列に変換するには、最初に任意のプリミティブ値に変換してから、最終的な型に変換します（Functions for Converting to Boolean, Number, String, and Objectで説明）。

ECMAScript仕様には、内部関数ToPrimitive()（JavaScriptからはアクセスできません）があり、この変換を実行します。ToPrimitive()を理解することで、オブジェクトが数値と文字列に変換される方法を構成できます。次のシグネチャがあります。

ToPrimitive(input, PreferredType?)

オプションのパラメーターPreferredTypeは、変換の最終的な型を示します。これは、ToPrimitive()の結果が数値に変換されるか文字列に変換されるかによって、NumberまたはStringのいずれかになります。

PreferredTypeがNumberの場合、次の手順を実行します。

PreferredTypeがStringの場合、手順2と3が入れ替えられます。PreferredTypeは省略することもできます。日付の場合はString、それ以外の値の場合はNumberとみなされます。これは、演算子+と==がToPrimitive()を呼び出す方法です。

> var empty = {};
> empty.valueOf() === empty
true
> empty.toString()
'[object Object]'

> Number({})
NaN

> var n = { valueOf: function () { return 123 } };
> Number(n)
123
> String(n)
'[object Object]'

> var s = { toString: function () { return '7'; } };
> String(s)
'7'
> Number(s)
7