プロを目指す人のための TypeScript 入門 安全なコードの書き方から高度な型の使い方まで(プロヲメザスヒトノタメノタイプスクリプトニュウモン アンゼンナコードノカキカタカラコウドナカタノツカイカタマデ)

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

JavaScript に型を加えるだけのツール。 TypeScript をそう認識している段階から、型システムを設計の道具として使いこなす段階へ引き上げる一冊です。著者の鈴木僚太氏 (uhyo) は TypeScript の型レベルプログラミングや言語仕様に関する発信で知られるエンジニアで、本書は技術評論社から刊行されました。コミュニティでは表紙の色から「ブルーベリー本」と呼ばれています。

本書は構文リファレンスではなく、「なぜこの型がこう推論されるのか」「 Union 型と条件型をどう組み合わせると安全な設計になるのか」という思考の筋道を、コード例と共に丁寧に展開します。型ガード、 Mapped Types 、 Template Literal Types といった中級以上のトピックにも踏み込みますが、前提知識として求められるのは JavaScript の基礎的な文法のみです。型の章は基礎から積み上がるため、 TypeScript に初めて触れる段階でも読み始められます。

一方で、 React や Node.js のフレームワーク固有の型パターンは本書の範囲外です。あくまで「言語としての TypeScript 」を深く理解することに集中しているため、フレームワーク連携は別のリソースで補う前提になります。型を「おまじない」ではなく「設計の武器」として扱いたいと考えたときに、その転換点を作ってくれる本です。