Provide a way to specify inheritance explicitly

TypeScript Version: 3.0.0-dev.201xxxxx

Its seems there's really no way currently to setup inheritance when working with complex mixins, and/or extending prototypes manually. While mixin support landed on TypeScript recently, it only addresses very simple cases. It's usefulness ends when you also want mixin that inherit from different classes on their own. To illustrate it with an example:

export class Component extends HTMLElement implements ComponentCore {
    constructor() {
        super();
        ComponentCore.init(this);
    }
}

where the ComponentCore.init does mixin style implementation of ComponentCore. Tried the mixin approach documented, but that doesn't seem to work when you want to extend from HTMLElement here.

Now, moving on a real-life example with a lot more context: https://github.com/prasannavl/icomponent/blob/v5.1.1/packages/icomponent/src/component.ts#L6

I had to jump through hoops and do something like

ComponentCore.extend(ComponentImpl);
export interface IComponent extends ComponentImpl, ComponentStatics, ComponentCore, Constructor<IComponent> { }
export const Component: IComponent = ComponentImpl as any;

in order to even get inheritance working properly. This is further complicated, when you extend from these classes, since there's currently it's const Component, and as such it is not always interpreted by the compiler as a class -- As as example - a few lines down in the same: https://github.com/prasannavl/icomponent/blob/v5.1.1/packages/icomponent/src/component.ts#L30

You can't pass Component into generics parameters, since it's no longer a class.

Possible solutions:

• A simple and effective solution would be to just be even annotate the class and having different parents.
  // @ts-inherit: IComponentCore, HTMLElement, etc,
• Extend the extends syntax to inherit multiple classes with say "extends X, !Y, !Z` -- The exclamation is the indicator of these special classes
• Allow implements to inherit a class without actually implementing it, with the same as above syntax. This is probably the least intrusive way, but unlike extends, it forces you explicitly define interfaces to be able to do so.

El issue no menciona ningún archivo del repositorio de TypeScript ni ningún punto de entrada de pruebas; comienza reproduciendo el enfoque documentado de mixin y revisando el ejemplo enlazado de icomponent. Compara los mecanismos de herencia propuestos y define qué casos complejos de mixin y generic-class deben admitirse antes de localizar las pruebas del compilador. Se considera terminado cuando exista un diseño acordado con cobertura para los casos admitidos.