Simplificarea script tipuri interior de tip pop-up

Question 1

Este posibil pentru a simplifica tip care este prezentată în cele de tip tooltip care este vizibilă atunci când am hover peste o variabilă în mașina de Scris?

Am urmatorul cod:

type Debug<T> = {
    [key in keyof T]: T[key]
}

type Chainable<Acc = {}> = {
    option: <K extends string, V>(key: K, value: V) => Chainable<Acc & {[k in K]: V}>;
    get: () => Debug<Acc>;
}

declare const config: Chainable
const result = config
  .option('foo', 123)
  .option('name', 'type-challenges')
  .option('bar', { value: 'Hello World' })
  .get()


type X = typeof result;

Când am hover peste result variabila I primi: [ hovering over result variable 1

Cu toate acestea, atunci când am hover peste type X Văd:

Întrebări:

De ce sunt aceste tipuri afișate diferit? (Chiar dacă ele reprezintă același lucru)
Există o modalitate de a arăta tipul ca este prezentată în cel de-al doilea ecran?

loc de joaca

Question 2

Ai putea face ceva de genul:

type Chainable<Acc = {}> = {
    option: <K extends string, V>(key: K, value: V) => Chainable<{[k in K | keyof Acc]: k extends keyof Acc ? Acc[k] : V}>;
    get: () => Debug<Acc>;
}

Practic, acest lucru este de a face același lucru ca ceea ce faci, dar într-o rundă mai multe despre mod.

În loc de bazându-se pe & parametrul care va polua hover indiciu. Puteți recrea în mod eficient întregul obiect de la zero.

Acest lucru este realizat prin utilizarea k in K | keyof Acc ca o cheie, dar, de asemenea, înseamnă că ai nevoie de o condițională tip de valoare.

Îmi imaginez acest lucru poate mai puțin performante, dar sincer nu cred că va face diferența.

Loc de joaca

Question 3

Aceasta este diferența principală între type cuvinte cheie și interface cuvinte cheie. Interfață nume apar în ponturile dar tipul nume nu.

Question 4

Se pare că este posibil să se creeze un tip de utilitate, care va face aplatizare în mod automat. Deci, nu este nevoie de a diseca tip modul @zecuria făcut-o.

type Chainable<Acc = {}> = {
    option: <K extends string, V>(key: K, value: V) => Chainable<Acc & {[k in K]: V}>;
    get: () => Util_FlatType<Acc>;
}

type Util_FlatType<T> = T extends object ? { [K in keyof T]: Util_FlatType<T[K]> } : T

Util_FlatType este furat de aici

zecuria · Answer 1 · 2021-11-24T03:11:45

Ai putea face ceva de genul:

type Chainable<Acc = {}> = {
    option: <K extends string, V>(key: K, value: V) => Chainable<{[k in K | keyof Acc]: k extends keyof Acc ? Acc[k] : V}>;
    get: () => Debug<Acc>;
}

Practic, acest lucru este de a face același lucru ca ceea ce faci, dar într-o rundă mai multe despre mod.

În loc de bazându-se pe & parametrul care va polua hover indiciu. Puteți recrea în mod eficient întregul obiect de la zero.

Acest lucru este realizat prin utilizarea k in K | keyof Acc ca o cheie, dar, de asemenea, înseamnă că ai nevoie de o condițională tip de valoare.

Îmi imaginez acest lucru poate mai puțin performante, dar sincer nu cred că va face diferența.

Loc de joaca

Ron Newcomb · Answer 2 · 2021-11-24T03:36:18

Aceasta este diferența principală între type cuvinte cheie și interface cuvinte cheie. Interfață nume apar în ponturile dar tipul nume nu.

paroxyzm · Answer 3 · 2021-11-28T15:00:21

Se pare că este posibil să se creeze un tip de utilitate, care va face aplatizare în mod automat. Deci, nu este nevoie de a diseca tip modul @zecuria făcut-o.

type Chainable<Acc = {}> = {
    option: <K extends string, V>(key: K, value: V) => Chainable<Acc & {[k in K]: V}>;
    get: () => Util_FlatType<Acc>;
}

type Util_FlatType<T> = T extends object ? { [K in keyof T]: Util_FlatType<T[K]> } : T

Util_FlatType este furat de aici

Simplificarea script tipuri interior de tip pop-up

Problema

Cel mai bun răspuns

În alte limbi

Această pagină este în alte limbi

Popular în această categorie

Întrebări frecvente în această categorie