自身のプロジェクトでTypeScriptでコーディングする場合は型を宣言することにより、IDEやエディターの補完機能やコードチェックを行えます。しかし外部のパッケージ(npm)を利用する場合は型定義ファイルが含まれているとは限りません。

定義ファイルとは

定義ファイルとはアクセス可能な宣言を記述したファイルです。拡張子は.d.tsです。

定義ファイルは主にパッケージを配布するために作成されます。TypeScriptはJavaScriptにコンパイルされるときに型情報は無くなってしまいます。そのままJavaScriptパッケージを利用すると型定義の恩恵を得ることができません。しかし定義ファイルを同梱することにより補完やコードチェックとして利用することができます。

残念なことにnpmに公開されているすべてのパッケージに必ずしも定義ファイルが存在するとは限りません。こちらに関しては定義ファイルの有無にて説明します。

定義ファイル出力例

tscコマンドに-dオプションをつけてコンパイルを行うとJavaScriptと定義ファイルを出力することができます。

TypeScriptファイル

次のTypeScriptファイル(sample.ts)を-dオプションを付けてコンパイルしてみます。

// sample.ts
interface Person {
  firstName: string;
  lastName: string;
}
​
function greeter(person: Person): string {
  return 'Hello, ' + person.firstName + ' ' + person.lastName;
}

tscコマンドに-dオプションを付けコンパイルを実行する。

tsc -d

JavaScriptファイル

sample.tsではInterfaceを使っていますが、JavaScriptにはInterfaceの概念がないため関数のみになりました。また引数の型情報もなくなります。

// sample.js
function greeter(person) {
    return 'Hello, ' + person.firstName + ' ' + person.lastName;
}
//# sourceMappingURL=sample.js.map

d.tsファイル

定義情報のみ記載されたファイルが出力されます。

// sample.d.ts
interface Person {
    firstName: string;
    lastName: string;
}
declare function greeter(person: Person): string;

定義ファイルの有無

定義ファイルはパッケージ開発者またはボランティアにより作成されています。

• 定義ファイル有り

  • TypeScriptで書かれたパッケージ

  • JavaScriptで書かれたパッケージだが.d.tsファイルを同梱している

• 定義ファイル有りだが別途インストールが必要

  • JavaScriptで書かれたパッケージだが、 DefinitelyTypedに登録されている

• 定義ファイル無し

  • JavaScriptで書かれたパッケージで定義ファイルが存在しない

定義ファイル有り

定義ファイルが含まれているパッケージの場合は特別な作業は必要ありません。

例としてdate libraryのmomentはJavaScriptで構築されていますが、moment.d.tsを同封しています。そのままinstallを行うだけで定義ファイルの恩恵を受けられます。

$ npm install moment

定義ファイル有りの場合は、設定なく型情報を参照することができます。

定義ファイル有りだが別途インストールが必要

もし、パッケージに定義ファイルが同梱されていない場合は別途インストールする必要があります。

​TypeSearchからパッケージ名を検索しインストールを行います。TypeSearchのリポジトリはDefinitelyTypedであり、ここに多くのライブラリの定義ファイルが一元管理されています。定義ファイルのインストールもnpmコマンドを利用します。

​Express本体と定義ファイルのインストール例は次のようになります。

$ npm install express --save // express本体のインストール
$ npm install @types/express --save-dev  // 型定義ファイルのインストール

定義ファイル無し

定義ファイルがないライブラリも存在します。その場合は

1. anyで妥協する

2. 定義ファイルを作る

定義ファイルの存在しないライブラリも利用することが可能ですが暗黙的にany型になります。また自身で作成しDefinitelyTypedに公開することもできます。

​Contribution guide | DefinitelyTyped​