TypeScript 4.8で入る型の絞り込みの改善とは

皆さんこんにちは。今回はTypeScriptの更新先取りシリーズです。TypeScriptの次のバージョンでは、以下のPRの更新が入ると思われます。もちろんPRの著者はAndersさんです。このPRではTypeScriptの根幹を成す機能の一つである「型の絞り込み」が改善されます。特に、unknown型と{}型の取り扱いが修正されている点が注目に値します。 型引数に対する推論が抱えていた既存の問題 {}型は、「nullとundefined以外の任意の値」という意味を持つ型です。この型は形としては空のオブジェクト型ですが、JavaScriptではnullとundefined以外のプリミティブ（文字列や数値など）に対してもプロパティアクセスをしてもエラーにならないという仕様を考慮して、{}型には文字列や数値などのプリミティブも含まれています。 従来型引数に対する推論が抱えていた問題とは、任意の

[kako-jun]

ビルド時にチェックされる、<>記号で型を指定する、型にTという変数名を使う文化が、STLっぽい……。型をきっちり1通りに表現するのは面倒だけど、jsはそれほどレアケースに危うかったということかな

[rikuba]

“type Alignment = string & {} | "left" | "center" | "right";”

[mon_sat]

やった！ようやく！

[daruyanagi]

“以上のような一連の変更により可能になったことがあります。それは組み込みのNonNullable型の定義の改善”

[jay-es]

`unknown` が `{} | null | undefined` のように扱われるようになった

[mizdra]

便利そう。ハックは例外的に維持されるの面白い…