guersam Comments - Answer Overflow

declare module 'arktype' {
  interface Generic<params, bodyDef, $ = {}> {
    instantiate<T>(): type.instantiate<bodyDef, { [K in params[0][0]]: T }>["t"]
    get instantiate<T>(): type.instantiate<bodyDef, { [K in params[0][0]]: T }>["t"] // ERROR: An accessor cannot have type parameters.
  }
}

type BoxOf<t> = typeof boxOf.instantiate<t>; 

// BoxOf<number> == () => { box: number }
// BoxOf<number> != { box: number }

type BoxOf<t> = typeof boxOf.instantiate<t>(); // cannot use parens here

declare module 'arktype' {
  interface Generic<params, bodyDef, $ = {}> {
    instantiate<T>(): type.instantiate<bodyDef, { [K in params[0][0]]: T }>["t"]
    get instantiate<T>(): type.instantiate<bodyDef, { [K in params[0][0]]: T }>["t"] // ERROR: An accessor cannot have type parameters.
  }
}

type BoxOf<t> = typeof boxOf.instantiate<t>; 

// BoxOf<number> == () => { box: number }
// BoxOf<number> != { box: number }

type BoxOf<t> = typeof boxOf.instantiate<t>(); // cannot use parens here

36 replies

Aarktype

•Created by guersam on 3/19/2025 in #questions

Inferring generic types

I mean the latter.

36 replies

Aarktype

•Created by guersam on 3/19/2025 in #questions

Inferring generic types

It must be fun to learn some TS generics at this chance, thanks! At first I thought it should be .infer, but your recommendation sounds better as TS doesn't seem to have support for point free HKT.

36 replies

Aarktype

•Created by guersam on 3/19/2025 in #questions

Inferring generic types

Is there any change to put this trick into Generic 's interface to match type(...).infer?

36 replies

Aarktype

•Created by guersam on 3/19/2025 in #questions

Inferring generic types

It's exactly what I want. Thank you very much!

36 replies

Gaming

Programming