プログラミングTypeScript ―スケールするJavaScriptアプリケーション開発

13章終わりに

いよいよ旅も終わりを迎えようとしています。

本書では、型とは何か、なぜそれが有益なのか、TSCはどのように動作するのか、TypeScriptはどのような型をサポートしているのか、TypeScriptの型システムはインターフェース、割り当て可能性、型の絞り込み、型の拡大、完全性をどのように処理するのか、文脈的型付けのルールとはどのようなものか、変性はどのように機能するのか、型演算子はどのように使用するのか、などについて説明してきました。関数とクラスとインターフェース、イテレーターと反復可能オブジェクトとジェネレーター、オーバーロード、ジェネリック型、ミックスイン、デコレーター、および締め切り前にコードを作成するために、やむをえず安全性を犠牲にして利用するさまざまなエスケープハッチについても説明しました。例外を安全に処理するためのさまざまな方法とそれらのトレードオフ、および、並行プログラム、並列プログラム、非同期プログラムを安全にするための型の使い方を解説しました。AngularやReactのような人気のあるフレームワークでTypeScriptを利用する方法や、名前空間やモジュールがどのように機能するのかについても詳しく調べました。フロントエンドとバックエンドでTypeScriptを使用、ビルド、デプロイする方法を学び、コードをTypeScriptに漸進的に移行する方法、型宣言を使用する方法、他のプログラマーが使えるようにコードをnpmに公開する方法、サードバーティーのコードを安全に使用する方法、TypeScriptプロジェクトをビルドする方法について学習しました。

読者に対して、静的な型という福音を用いて影響を与えられたことを願っています。読者が、今ではプログラムを実装する前に、型を使ってプログラムの概略を記述することが増えていることを願っていますし、型によってアプリケーションをどのように安全にできるかについての直観的な理解が深く得られたことを願っています。読者の世界観を少しでも変えられたことを願っていますし、読者がコードを書くときに今では型を使って考えられるようになっていることを願っています。 ...