Pick

Pick<T, K> は、

型 T から指定したキー K だけを取り出した新しい型を作るユーティリティ型です。

type SimpleProfile = Pick<DetailedProfile, "name" | "weight">;

// type SimpleProfile = {
//     name: string;
//     weight: number;
// }

DetailedProfile の中から

name と weight だけを抜き出した型が作られています。

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

つまり、

指定したキーだけで新しいオブジェクト型を再構築している

という仕組みです。

Omit

Omit<T, K> は、

型 T から指定したキー K を除外した新しい型を作るユーティリティ型です。

type SmallProfile = Omit<DetailedProfile, "height">;

// type SmallProfile = {
//     name: string;
//     weight: number;
// }

height プロパティだけを除外し、

残りの name と weight が保持されています。

type Omit<T, K extends keyof any> = { [PinExclude<keyof T, K>]: T[P]; }

つまり Omit は、

「keyof T」→「Exclude」→「Pick 的な再構築」

という流れで動いています。

内部的には、

Omit は Exclude + Pick 的な処理で実装されています。

// イメージ
type Omit<T, K> = Pick<T, Exclude<keyof T, K>>;