TypeScript（タイプスクリプト）

TypeScript（タイプスクリプト）とは、Microsoft社が開発した、JavaScriptに「型」の仕組みを追加したプログラミング言語です。変数や関数がどんな種類のデータを扱うかをあらかじめ指定できるため、プログラムを実行する前の段階でミスに気づきやすくなります。

現実世界に例えると、TypeScriptは「荷物の種類を明記した宅配伝票」のようなものです。伝票に「割れ物」「冷蔵品」と書いておけば配送前に扱い方の間違いに気づけるように、TypeScriptもデータの種類を明記しておくことで、プログラムを動かす前に不具合の芽を摘み取れます。

TypeScriptの仕組み

TypeScriptで書かれたコードは、そのままではブラウザで実行できません。コンパイル（トランスパイル）という変換処理によって通常のJavaScriptに変換されてから、Webブラウザなどで実行されます。この変換の際に型に関する誤りがあれば、実行前の時点でエラーとして検出されます。

TypeScriptの主なメリット

• バグの早期発見
  型が合わない値を代入しようとすると、コードを書いている段階でエラーが表示されます。
• コードの見通しの良さ
  関数がどんな値を受け取り、何を返すのかが型から読み取れます。
• 開発支援機能の充実
  入力候補の表示など、エディタによる補完機能が使いやすくなります。

JavaScriptとの関係

型推論という仕組み

TypeScriptでは、すべての変数に型を書かなければならないわけではありません。「const count = 1;」のように初期値を代入すると、TypeScriptがその値から自動的に型を判断してくれます。これを型推論と呼びます。必要な箇所にだけ型を明示すればよいため、JavaScriptに近い書き心地を保ちながら、型によるチェックの恩恵を受けられます。

どんな場面で使われるか

TypeScriptは、複数人で開発する大規模なWebアプリケーションや、長期間にわたって保守を行うプロジェクトで特に効果を発揮します。前述のReactやVue.jsといったフレームワークと組み合わせて使われることも多く、近年のフロントエンド開発における主要な選択肢の一つとなっています。

あわせて知っておきたい用語

• JavaScript：
  Webページに動きを付けるためのプログラミング言語です。
• コンパイル：
  人が書いたコードを、コンピュータが実行できる形式に変換する処理です。
• 静的型付け：
  プログラムの実行前に、変数の型があらかじめ決まっている方式です。
• IDE：
  コードの記述や補完、デバッグなどを支援する開発ツールです。