1日目:type-challenges

Type Challenges で型を勉強していきます。1 日目。
Pickの問題に挑戦。

解答

type MyPick<T, K extends keyof T> = {
  [P in K]: T[P];
};

• K extends typeof T:K は T のキーに限定される（制約）
• [P in K]:K のそれぞれのキーをループする（Mapped Types）
• T[P]:元の型 T からプロパティ P の型を取り出す（インデックス型アクセス）