TypeScript: accessing type information at runtime

Question

If one creates dynamic properties based on parameter inputs:

type ObjBuilder<Prop1 extends string, Prop2 extends string> = {
  [P in Prop1 | Prop2]: P extends Prop2  ? ()=>boolean : ()=>string
}

function objectBuilder<Prop1 extends string, Prop2 extends string>(
  prop1: string,
  prop2: string,
) : ObjBuilder<Prop1, Prop2> {
  return {
    [prop1]: () => true,
    [prop2]: () => prop2,
  } as ObjBuilder<Prop1, Prop2>
}

// note the duplication of information in this code
const a = objectBuilder<'p1', 'p2'>('p1', 'p2')

console.log(a.p1()) // true
console.log(a.p2()) //'p2'

Is it possible to access the type definitions in the function definition to avoid the duplication of objectBuilder<'p1', 'p2'>('p1', 'p2') and rather only have objectBuilder<'p1', 'p2'>() with the compiled javascript having access to the strings p1 and p2?

In other words, have the JavaScript somehow via reflection access the type information and make it available at runtime?

code here

No, it is not possible. Try this. It is possible to infer arguments type so you don't need to explicitly use <'p1', 'p2'> — captain-yossarian from Ukraine
– captain-yossarian from Ukraine, Commented Jan 5, 2022 at 8:11
@captain-yossarian - thank you, yes that's a good solution as it also removes the duplication. — TrevTheDev
– TrevTheDev, Commented Jan 6, 2022 at 0:30

captain-yossarian from Ukraine · Accepted Answer · 2022-01-06 12:18:36Z

1

You can infer literal type of arguments.

COnsider this example:

type ObjBuilder<Prop1 extends string, Prop2 extends string> = {
  [P in Prop1 | Prop2]: P extends Prop2 ? () => boolean : () => string
}

function objectBuilder<Prop1 extends string, Prop2 extends string>(
  prop1: Prop1,
  prop2: Prop2,
): ObjBuilder<Prop1, Prop2> {
  return {
    [prop1]: () => true,
    [prop2]: () => prop2,
  } as ObjBuilder<Prop1, Prop2>
}

const a = objectBuilder('p1', 'p2')
console.log(a.p1())
console.log(a.p2())

Playground

As you might have noticed, I have used Prop1 and Prop2 generics as an argument type instead of string. In this way TS is able to infer literal type.

If you are interested in this topis (function arguments type inference) you can check my article

answered Jan 6, 2022 at 12:18

captain-yossarian from Ukraine

33.5k5 gold badges41 silver badges78 bronze badges

Sign up to request clarification or add additional context in comments.

Collectives™ on Stack Overflow

TypeScript: accessing type information at runtime

1 Answer 1

Comments

Your Answer

Hot Network Questions

Collectives™ on Stack Overflow

1 Answer 1

Comments

Your Answer

Sign up or log in

Post as a guest

Related