この記事の要点

TypeScript は Microsoft の Anders Hejlsberg（C# 設計者）率いるチームが 2012 年に公開した JavaScript の静的型付け版 JavaScript の厳密な上位互換（superset）で、任意の有効な JS コードは有効な TS コードでもある tsc（TypeScript Compiler）でトランスパイル → .js + .d.ts（型定義）を出力 プロジェクト設定は tsconfig.json。strict: true で全厳格チェックが有効になる 型推論が強力で、明示的な型注釈なしでも多くの型を自動で導出する any は型安全性を完全に放棄する逃げ道、unknown + 型ガードのほうが安全 React の JSX を含むファイルは .tsx、純粋な TS は .ts

概要

TypeScript（タイプスクリプト、TS） は、Microsoft が 2012 年 10 月に公開したプログラミング言語で、JavaScript に 静的型システム を追加した「上位互換言語（superset）」です。設計者は C#、Delphi、Turbo Pascal の生みの親としても知られる Anders Hejlsberg（アンダース・ヘルスバーグ） で、Microsoft でのリーダーシップのもと開発が進められています。プロジェクトは Apache License 2.0 で GitHub に公開され、最も Star の多い言語実装の 1 つです。

TS の最大の特徴は 「JavaScript の構文をそのまま受け入れる」 ことです。.js ファイルの拡張子を .ts に変えるだけで TypeScript として扱え、徐々に型を追加していく 段階的型付け（gradual typing） が可能です。型情報は実行時には存在せず、tsc（TypeScript Compiler）が型チェック後に 型を消去した純粋な JavaScript を出力します。これを type erasure と呼びます。

型推論は非常に強力で、const x = [1, 2, 3]; と書けば number[] が自動で推論されます。さらに ジェネリクス（Array<string>）、ユニオン型（string | number）、インターセクション型（A & B）、条件型（T extends U ? X : Y）、マップ型、テンプレートリテラル型 などの高度な型機能を備え、ライブラリ作者は驚くほど精密な API を表現できます。型システムだけで簡易な計算（SQL パーサや JSON 検証）まで書ける表現力があります。

ファイル種類とビルド成果物

拡張子	役割	備考
.ts	TypeScript ソース	JSX を含まない通常のロジック
.tsx	JSX を含む TypeScript	React コンポーネントなど
.d.ts	型定義ファイル（宣言ファイル）	JS ライブラリに型を後付けするためのスタブ。DefinitelyTyped / @types/*
.mts / .cts	ESM / CJS 強制版	それぞれ .mjs/.cjs へコンパイル
tsconfig.json	プロジェクト設定	target, module, strict, paths 等を定義
.js + .d.ts	tsc の出力	型情報を別ファイルに分離して配布

「Hello, World」

// hello.ts — 型注釈付き
function greet(name: string): string {
    return `Hello, ${name}!`;
}

// ジェネリクス例
function first<T>(arr: Array<T>): T | undefined {
    return arr[0];
}

const users: Array<{ id: number; name: string }> = [
    { id: 1, name: "Alice" },
    { id: 2, name: "Bob" },
];

console.log(greet("World"));
console.log(first<string>(["a", "b"]));

コンパイル: tsc hello.ts → hello.js が生成され、node hello.js で実行できます。ts-node / tsx / Bun を使えば直接実行も可能です。

パッケージ管理・ビルドツール

• npm / yarn / pnpm：基本は JavaScript と同じ。npm i -D typescript でローカルインストール
• tsc：公式コンパイラ。型チェック＋トランスパイル両方
• ts-node / tsx：.ts を直接実行する開発用ランナー
• esbuild / swc：型チェックを行わず高速トランスパイルだけ。バンドラと組み合わせる
• tsconfig パス解決：baseUrl + paths でモノレポのエイリアスを定義
• Project References：大規模リポジトリで tsc --build による増分ビルド
• 型定義の取得：npm i -D @types/node @types/react

関連言語との比較

項目	TypeScript	JavaScript	Flow（Meta）	JSDoc 型注釈
静的型	強力	なし	あり（衰退）	限定的
コンパイル	必要	不要	必要	不要
ジェネリクス	充実	なし	あり	限定
エディタ支援	最高（VS Code 由来）	普通	普通	VS Code 経由で良好
採用状況	事実上の標準	圧倒的	縮小傾向	軽量プロジェクト向け

注意点・落とし穴

• any の罠：any を使うと型チェックを完全に無効化する。unknown + 型ガード（typeof、instanceof）で安全に扱う
• 型情報は実行時に存在しない：typeof x === "MyInterface" はできない。実行時バリデーションには zod や valibot を併用
• 構造的型付け（structural typing）：名前ではなく形（プロパティ集合）で型を判定する。C# / Java のような名前ベースとは違う
• Type-Only Imports：import type { Foo } from "./foo"; を使うと、トランスパイル後の JS から完全に消える
• 列挙型（enum）の地雷：数値 enum はランタイムに残り、双方向マッピングなど混乱を招く。as const オブジェクト + ユニオン型のほうが推奨
• strict モード：tsconfig.json の "strict": true は新規プロジェクトでは必須。途中から有効化すると大量のエラーが出る
• tsc の出力 と バンドラの設定不整合：target と module がランタイムと合っていないと実行時に謎のエラー

関連リンク

• 母言語：JavaScript（.js / .mjs / .cjs）
• 親カテゴリ：プログラミング・スクリプト
• 概論：ファイル拡張子とは
• 外部：typescriptlang.org / tsconfig リファレンス