ＴｙｐｅＳｃｒｉｐｔは、ＪａｖａＳｃｒｉｐｔに静的型付けの機能を加えたオープンソースのプログラミング言語です。本書では、根幹となるＪａｖａＳｃｒｉｐｔの仕様・機能とともに、ＴｙｐｅＳｃｒｉｐｔ独自の仕様・機能を解説します。ＴｙｐｅＳｃｒｉｐｔの基礎知識はこれ一冊だけで学べます。静的型付き言語は世にいくつもありますが、ＴｙｐｅＳｃｒｉｐｔの型システムは他に類を見ない高い表現力を持っています。本書の読者が、型の有効性を理解しＴｙｐｅＳｃｒｉｐｔらしいコードを書けるようになるために、本書では、プログラムの安全性を高める基本的な型の扱い方から、ＴｙｐｅＳｃｒｉｐｔの「高い表現力」の源となっているリテラル型・ユニオン型・ｋｅｙｏｆ　型の扱い方まで幅広く取り上げます。また、わかりにくい機能や型安全を脅かす危険な機能についてもごまかさず、歴史的経緯や目的・用途を踏まえたうえで最善の扱い方を説明します。章ごとに力試し問題を用意しており、理解の度合いを確認しながら学習を進められます。