Type Selection Queries

This might be a bit of a crazy idea, but here goes: to enable loose coupling between components we sometimes write Pick<Type, 'a' | 'b' | 'c'>

It would be nice if we could create a type query to select properties with a similar syntax to GraphQL:

e.g:

prop: AType[{a, b, c: { d }]

This would be equivalent to

prop: Pick<AType, 'a' | 'b'> & {c: Pick<AType['c'], 'd'>}

How often would you do that in "the real world" ? definitely more often if you could
How often should you do that? unclear ?

Some real-world code:

    const testFetch = jest.fn()

    class TestOptions extends GraphQlClient.Options {
      public fetch = testFetch
    }
    const response: Pick<Response, 'ok' | 'json'> = {
      ok: true,
      async json() {
        return { data: { auth: { token: testToken } } }
      }
    }
    testFetch.mockResolvedValue(response)

Pick<Response, 'ok' | 'json'> could be Response[{ok, json}]

edit: that's not a great example use case, cause you could just as well do Partial<Response>

Inizia studiando il comportamento esistente di TypeScript relativo a Pick e ai tipi ad accesso indicizzato, quindi confronta la sintassi proposta per la selezione annidata con query in stile GraphQL. Esamina gli esempi dell’issue e determina se la funzionalità ha un caso d’uso chiaro e una progettazione chiara per il sistema dei tipi. Per considerare il lavoro completato, sarebbero necessari una sintassi, una semantica e un piano di implementazione concordati, non soltanto una trasformazione di esempio.