Suggestion: allow instantiation of type aliases

[zpdDG4gta8XKpMCd]

Currently a type aliased class cannot be instantiated. Also there is no way to alias a type with type parameters. Please consider making type aliases as capable as the types that they represent, basically capturing the type expression under a different name.

[RyanCavanaugh]

We'd need some new type system machinery here. Consider something like this:

class Foo<T, U> {
    constructor(public x: T, public y: U) { }
}
var f = Foo;

The type of f, from the type system's perspective, is this:

{
  new<T, U>(x: T, y: U): { x: T; y: U; };
}

Note that this type itself is not generic, so the expression Foo<number, string> in a value position (basically referring to typeof Foo<number, string>) has no meaning. We'd need some rule that says when you can and can't "push down" type parameters into construct signatures.

This is to say nothing of class-like things that have been modeled in .d.ts files as interface/var pairs instead of classes. What should this code do?

interface Foo<T, U> {
  x: T;
  y: U;
}
var Foo: {
  new<S>(n: string): Foo<number, S>;
  new<S, T>(n: number, m: string, z: any): Foo<T, U>;
  new<S, T, U>(n: number): Foo<T, U>;
}
import q = Foo<number, number>; // Is this even legal? What does it mean?
var j = new q('hello'); // Valid?

[zpdDG4gta8XKpMCd]

Thanks, it's good to know. Clearly there is no straight way of doing it by the means TS currently has.

What should this code do?

import q = Foo<number, number>; // Legal. It means that q  is  { new (n: number, m: string, z: any): Foo<number,  number>; }
var j = new q('hello'); // Invalid since q is  { new (n: number, m: string, z: any): Foo<number,  number>; }

[danquirk]

Does #1616 cover this?

[zpdDG4gta8XKpMCd]

@danquirk it does if, besides being capable of type parameters, you add to it being capable of aliasing a class so that instantiating of such alias is possible

[danquirk]

Yeah that's what I thought. I'll modify the title here to specifically reflect the instantiation aspect and we can use that issue to track the type parameters part since it already has a bunch of discussion and upvotes.

[itsmontoya]

Is there any chance the proposal for this can be completed? This feature is really important in my honest opinion.

[zpdDG4gta8XKpMCd]

there is a workaround for classes
class MyClass<A, B, C> {}
class MyCertainClass extends MyClass<string, number, boolean> {}