1.1 TypeScript とは
TypeScriptは、Microsoftによって開発されたプログラミング言語です。一言で言えば、 「JavaScript + 静的型付け」 という構成の言語です。
1.1.1 JavaScriptに対する “静的型付け”
Section titled “1.1.1 JavaScriptに対する “静的型付け””JavaScriptは実行時に型が決まる「動的型付け」言語ですが、TypeScriptはコードを書く段階で型を決定する**静的型システム(static type system)**を備えています。
- 型注釈 (Type Annotation): 変数の後ろに
: stringのように型を明示的に記述できます。 - 型推論 (Type Inference): 全てに型を書かなくても、コンパイラが文脈から型を自動で判断してくれる強力な機能があります。
1.1.2 高い表現力を持つ型システム
Section titled “1.1.2 高い表現力を持つ型システム”TypeScriptの型システムは非常に柔軟で、単なる数値や文字列だけでなく、複雑なオブジェクトや関数に対しても詳細な型を定義できます。
1.1.3 静的型付けのメリット (1) 型安全性
Section titled “1.1.3 静的型付けのメリット (1) 型安全性”最大のメリットは**型安全性(type safety)**です。
- コンパイルエラー: プログラムを実行する前に、コンパイラが型の一貫性をチェックし、矛盾があればエラーとして報告します。
- バグの早期発見: 「数値が必要な関数に誤って文字列を渡してしまった」といった単純なミスを、実行前に防ぐことができます。
1.1.4 静的型付けのメリット (2) ドキュメント化と入力補完
Section titled “1.1.4 静的型付けのメリット (2) ドキュメント化と入力補完”型情報はプログラムの挙動を説明する生きたドキュメントとして機能します。
- 可読性の向上: 関数の引数や返り値の型を見るだけで、その関数が何を期待し、何を返すのかが一目でわかります。
- 強力な入力補完: IDE(VS Code等)が型情報を理解するため、プロパティ名の自動補完などが正確に働き、タイピングの効率と正確性が劇的に向上します。
1.1.5 TypeScript 年表
Section titled “1.1.5 TypeScript 年表”TypeScriptは2012年に初公開されました。 バージョン1.0のリリース以降、TypeScriptは急速な進化を遂げ、モダンな開発に不可欠な機能が次々と追加されました。
- 2016年: バージョン 2.0 がリリースされ、
strictNullChecks(null/undefinedの厳密なチェック)が導入され、安全性が飛躍的に向上しました。 - 2018年: バージョン 3.0 がリリース。プロジェクト間での設定の共有(Project References)や、未知の型を安全に扱う
unknown型が登場しました。 - 2020年: バージョン 4.0 がリリース。テンプレートリテラル型(Template Literal Types)などの高度な型表現が可能になりました。
- 2023年: バージョン 5.0 がリリース。コンパイル速度の高速化や、ECMAScript標準に準拠した新しいデコレータがサポートされました。
- 2026年(現在): 現在はバージョン 5.x 系が安定して運用されており、Next.jsでの標準的な開発言語として不動の地位を築いています。