Create records without scopes

[JesusTheHun]

I have a lot of records that have ids as their key. Those ids are template string like user__${string}.

When trying to write a record with a type of my own as a record, the way I found was to use a scope :

const arkUserSubscriptions = scope({
  key: arkUserId,
  value: arkUserSubscription,
  record: {
    '[key]': 'value',
  },
}).export().record;

And it produces the type I expect. It works.
So I tried to write a function that will spare me the verbosity :

export function arkRecord<Key extends Type<string>, Value extends Type>(
  key: Key,
  value: Value
) {
  return scope({
    key,
    value,
    record: {
      '[key]': 'value',
    },
  }).export().record;
}

const arkUserSubscriptions = arkRecord(arkUserId, arkUserSubscription);

But it complains about key and value not being assignable, and of course about key and value not being valid references. See on the playground.

Has anyone achieved that ?

[JesusTheHun]

I have actually found a way, by using generics :

import { generic } from 'arktype';

export const arkRecord = generic(
  ['Key', 'string'],
  ['Value', 'unknown']
)({
  '[Key]': 'Value',
});

[ssalbdivad]

There's actually a type.Record utility that might be useful here as well 😅