composeObjects-v2.ts

type Key = string;
type Val = string | number;
type KeyValue<
  K extends Key,
  P extends Key,  // Дополнительные поля (!)
  V extends Val,
> = (
  & Record<K, V>
  & Record<P, any>
);

type CompostedObject<
  KEY extends Key,
  F extends string, // Какие поля будет экспортировать как значение
  T extends KeyValue<KEY, F, Val>[],
> =
  FlattenObject<
    ToIntersect<
      {
        [K in keyof T]: T[K] extends KeyValue<KEY, F, Val>
          ? Record<T[K][KEY], FlattenObject<Pick<T[K], F>>> // FlattenObject + Pick 💁🏻‍♂️
          : never
      }[number]
    >
  >
;

function composeObjects<
  K extends Key,
  F extends readonly string[], // Фильтр по полям 🎉
  T extends KeyValue<K, F[number], string>[],
>(
  key: K,
  onlyKeys: F,
  ...objects: T
): CompostedObject<K, F[number], T> {
  return objects.reduce((result, obj) => {
    result[obj[key] as any] = onlyKeys.reduce((res, key) => {
      res[key] = obj[key];
      return res;
    }, {});

    return result;
  }, {} as CompostedObject<K, F[number], T>)
}