composeObjects-v1.ts

type Key = string;
type Val = string | number;
type KeyValue<K extends Key, V extends Val> = {
  [X in K]: V;
}
type CompostedObject<KEY extends Key, T extends KeyValue<KEY, Val>[]> =
  FlattenObject<
    ToIntersect<
      {
        [K in keyof T]: T[K] extends KeyValue<KEY, Val>
          ? Record<T[K][KEY], T[K]>
          : never
      }[number]
    >
  >
;

function composeObjects<
  K extends Key,
  T extends KeyValue<K, string>[],
>(key: K, ...objects: T): CompostedObject<K, T> {
  return objects.reduce((result, obj) => {
    result[obj[key] as any] = obj; // Да, тут мне ts сказал «давай, досвидания»
                                   // и я написал `any`, но это временно!1
    return result;
  }, {} as CompostedObject<K, T>)
}