サバイバルTSを読む

https://typescriptbook.jp/

インデックス型
キーの型とvalueの型だけ指定したいときに使える

let obj1: { [K: string]: number };

インデックス型はRecord型でも表現できる

let obj2: Record<string, number>;

プロトタイプの話

https://typescriptbook.jp/reference/values-types-variables/object/prototype-based-programming

ブランド型(phantom type, opaque type)

interface UserId {
  __brand: "UserId";
  id: number;
}
 
interface ProductId {
  __brand: "ProductId";
  id: number;
}

TypeScriptの配列の型は共変。TSを学んでいるとなんとなくわかるがTSは型による厳格なプログラミングよりも利便性と柔軟性を選択している節がある。これはJSというすでに使われている言語に型をつけるにはそうするしかなかったのだと思う。

https://typescriptbook.jp/reference/values-types-variables/array/array-type-is-covariant