Pick

export function pick<T extends object, K extends keyof T>(obj: T, keys: K[]): Pick<T, K> {
  const result = {} as Pick<T, K>;
  for (const key of keys) {
    result[key] = obj[key];
  }
  return result;
}

const short = pick({ name: "Макс", age: 30, admin: true }, ["name", "age"]);
export const shortName = short.name;

T выводится из объекта, K из массива ключей: для ["name", "age"] это "name" | "age". Тип результата Pick<T, K> раскрывается в { name: string; age: number }, и short.name теперь string. Поле admin в результат не попало, и обращение к нему будет ошибкой.

Единственный as

В решении осталось одно приведение: {} as Pick<T, K>. Оно здесь вынужденное. Пустой объект ещё не содержит нужных полей, и доказать компилятору, что после цикла они все появятся, нельзя: TypeScript не следит за тем, что делает цикл.

Важно, что это приведение локальное и честное: мы сами заполняем объект строчкой ниже. Сравни с obj as Record<string, unknown> в исходной версии, которое выбрасывало тип входных данных целиком.

Почему result[key] = obj[key] компилируется

result[key] имеет тип Pick<T, K>[K], а obj[key] имеет тип T[K]. Для K extends keyof T это одно и то же: Pick берёт поля как есть. Связь, которую мы строили в заданиях 5 и 6, работает и внутри реализации.

Как устроен встроенный Pick

type Pick<T, K extends keyof T> = {
  [P in K]: T

Тот же K extends keyof T, что и в нашей функции. Синтаксис [P in K] называется mapped type, его разберём в задании 20.