TypeScriptのinferってなんなん？

TypeScriptのinferって？ inferは、TypeScriptの条件付き型（T extends U ? X : Yの構文）で登場するキーワードで、型を「推論(infer)」するためのものです。 具体的には、条件付き型の中で「Tの一部を別名として取り出し、その新たに名付けた型を後続で使用する」ために利用されます。 inferは、条件付き型の中でしか使えないという制限があるのも特徴です。 主な用途 inferが活用される場面は大きく以下の2つが代表的です。 1. 型の一部を抽出 ある型の部分的な構造や要素型を取り出して使う際に便利です。たとえば、関数型の返り値だけを取り出したり、配列の要素型を取り出したりするときに使われます。 2. 特定の型の中身を推論して使う ライブラリなどでジェネリクス（総称型）を多用する際、条件付きで「もしこういう型なら、その中身を推論して型パラメータに使う