TypeScriptでジェネリクスを使った関数の型定義がよくわからない

Question

TypeScriptのジェネリクスについての質問です

ジェネリクスを使って関数の型を定義しているのですが、以下の型定義の違いがよくわからず...
お手すきでご教示いただけますと助かります。

export type GetIndexFunc = <T>(input: T[], comparator: IndexComparator<T>) => number;
export type GetIndexFunc<T> = (input: T[], comparator: IndexComparator<T>) => number;

利用環境

• TypeScript 3.7.5

Answer 1

全然違います。

type TypeX<T> = T

とします。まず簡単な下の方から。これは普通のジェネリクスです。型変数に型を入れることができるやつですね。

type TypeA<T> = (x: TypeX<T>) => number
const f: TypeA<number> = (x) => x

これはいつものやつなので問題ないと思われます。では上の方。

type TypeB = <T>(x: TypeX<T>) => number
const g: TypeB = (x) => x // Type 'T' is not assignable to type 'number'.

使おうとしてもエラーで怒られます。それはなぜかというと型変数 T というのは TypeB の中で閉じていてしまって勝手に外側から入れられないからなんですね。んじゃんなもん何に使うのというと、制約を付けてあげると実は型を代入することが出来ます。

type TypeC = <T extends number>(x: TypeX<T>) => number
const h: TypeC = (x: number) => x // OK!

また、型レベルプログラミングで一時的に変数を使いたいけど外に出したくないときなんかに使えます。

type TypeD<T> = <K extends keyof T>(kv: T, k: K) => T[K]
type Dict = {
    'foo': string
    'bar': string
    'baz': string
}
const dict: Dict = {
    'foo': 'hoge',
    'bar': 'fuga',
    'baz': 'piyo',
}
const getSafety: TypeD<Dict> = (kv, k) => {
    return kv[k]
}
getSafety(dict, 'foo') // これは大丈夫
getSafety(dict, 'nyaan') // これはコンパイルエラー！！

こんなふうに「何回も出てくる型なので書くのがしちめんどくさいから割り当てる」場合か「型レベルプログラミングでバリバリやりたいので一時変数使いてーッ」という場合 type Foo = <T>(x: T)=> T みたいな書き方になるんじゃなかろうかと思います。