Zjednodušenie strojom typy vnútri typ popup

Question 1

Je možné zjednodušiť typ, ktorý sa zobrazuje v typ-informačné okno, ktoré sa zobrazí, keď som sa vznášať sa nad premennej Strojom?

Mám nasledujúci kód:

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;

Keď som sa vznášajú nad result variabilný som si: [ hovering over result variable 1

Avšak, keď som sa vznášajú nad type X Vidím:

Otázky:

Prečo sú tieto typy uvedené inak? (Napriek tomu, že predstavujú isté)
Existuje spôsob, ako ukázať typu, ako je to uvedené v druhom obrazovky?

detské ihrisko

Question 2

Mohli by ste urobiť niečo ako:

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>;
}

V podstate to je to isté ako to, čo robíte, ale vo viacerých okolo spôsobom.

Namiesto spoliehania sa na & parameter, ktorý sa znečisťujú hover pomôcku. Môžete účinne prerobiť celý objekt od nuly.

Toto je dosiahnuté pomocou k in K | keyof Acc ako kľúč, ale to tiež znamená, že budete potrebovať podmienené typ hodnoty.

Viem si predstaviť to možno menej výkonné, ale úprimne povedané, nemyslím si, že to bude mať najviac rozdiel.

Detské ihrisko

Question 3

To je hlavný rozdiel medzi type kľúčové slovo a interface kľúčové slovo. Rozhranie mená sú uvedené v popisoch, ale názvy typu nie.

Question 4

Zdá sa, že je možné vytvoriť pomôcku typ, ktorý bude robiť menej automaticky. Takže, nie je potrebné podrobne preskúmať typ cesty @zecuria urobil.

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 je odcudzený tu

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

Mohli by ste urobiť niečo ako:

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>;
}

V podstate to je to isté ako to, čo robíte, ale vo viacerých okolo spôsobom.

Namiesto spoliehania sa na & parameter, ktorý sa znečisťujú hover pomôcku. Môžete účinne prerobiť celý objekt od nuly.

Toto je dosiahnuté pomocou k in K | keyof Acc ako kľúč, ale to tiež znamená, že budete potrebovať podmienené typ hodnoty.

Viem si predstaviť to možno menej výkonné, ale úprimne povedané, nemyslím si, že to bude mať najviac rozdiel.

Detské ihrisko

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

To je hlavný rozdiel medzi type kľúčové slovo a interface kľúčové slovo. Rozhranie mená sú uvedené v popisoch, ale názvy typu nie.

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

Zdá sa, že je možné vytvoriť pomôcku typ, ktorý bude robiť menej automaticky. Takže, nie je potrebné podrobne preskúmať typ cesty @zecuria urobil.

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 je odcudzený tu

Zjednodušenie strojom typy vnútri typ popup

Otázka

Najlepšiu odpoveď

V iných jazykoch

Táto stránka je v iných jazykoch

Populárne v tejto kategórii

Obľúbené otázky v tejto kategórii