Proposal: Spread Interface Operator

Suggestion

When we want to extend a interface we use the "extends" keyword. So for example:

interface Foo {
   keyA: string,
   keyB: number,
}

interface ExtendsFoo extends Foo {
    keyC: any
}

My idea is to define the same interface ExtendsFoo but using what I would call the Spread Interface Operator.

The code mentioned above could be rewritten as:

interface Foo {
   keyA: string,
   keyB: number,
}

interface ExtendsFoo {
   ...Foo,
   keyC: any
}

I think this could be another way of expressing types that reminds spread operator syntax in Javascript.

La propuesta se refiere a la herencia de interfaces de TypeScript y a la sintaxis spread de JavaScript. Empieza revisando cómo se especifica y analiza la sintaxis existente de interfaces y extends, y determina después las implicaciones de diseño de permitir miembros spread en las interfaces. Para darlo por terminado, se requiere un diseño del lenguaje aceptado, además de cobertura de implementación y de conformidad.