Effective TypeScript 第2版 ―型システムの力を最大限に引き出す83項目

3章型推論と制御フロー解析

産業界で使われるプログラミング言語では伝統的に、「静的な型付け」と「明示的な型付け」は同じことを意味しました。C、C++、Java、これらはすべて、プログラマーに明示的に型を書き出させる言語でした。しかし、学術界で使われる言語では、この2つが混同されることはありませんでした。MLやHaskellのような言語は、長い間型推論のシステムを洗練させてきましたが、それが産業界の言語にも取り入れられ始めています。C++にはautoが、Javaにはvarが追加されました。RustやSwiftのような新しい言語は、最初から型推論を持っています。

TypeScriptは型推論を多用します。これをうまく使えば、完全な型安全性を得るために必要な型アノテーションの数を劇的に減らせます。TypeScriptの初心者と経験豊富な開発者を見分けるもっとも簡単な方法の1つは、型アノテーションの数です。経験豊富なTypeScript開発者は、比較的少ない数の型アノテーションしか使用しません（しかしとても効果的に使用します）が、初心者は冗長な型アノテーションにコードを溺れさせてしまいがちです。

ほとんどの言語で、変数は型を持ち、それが変わることはありません。TypeScriptは少し違います。変数はコードの場所に応じて型を持ちます。周囲のコードによって変数の型が変化するこのプロセスは、制御フロー解析として知られています。

この章では、型推論と制御フロー解析についての考え方を述べ、それらに関連して発生しうる問題のいくつかを示し、その解決方法を説明します。この章を読めば、TypeScriptがどのように型を推論するのか、どのような場合に明示的な型アノテーションを記述する必要があるのか、型が推論できる場合でも型アノテーションを記述したほうがいいのはどのようなときかについて、十分に理解できるはずです。 ...