Thoughts about variadic generics?

[sccolbert]

We can kind of already do this for functions by defining several overloads, but there is no corresponding mechanism for overloaded classes or interfaces. A typical use case would be defining a registry for callbacks which accept a number of parameters. Something like the following with loosely proposed variadic type syntax:

interface IDispatcher<...ArgTypes> {

  add(callback: (...args: ArgTypes) => void): void {
    // store the callback
  }

  dispatch(...args: ArgTypes): void {
    // invoke the callbacks
  }
}


function createDispatcher<...ArgTypes>(): IDispatcher<...ArgTypes> {
  // create a concrete instance
}


var d = createDispatcher<number, string>();

[DanielRosenwasser]

Seems somewhat related to #1024.

[danquirk]

I believe we also talked about this as one potential way to describe a mixin function.

[sccolbert]

The use case I'm attempting to describe here is indeed the same as the dispatcher case mentioned in #1024

[NN---]

Variadic generic can make functions like 'setTimeout' more type-safe.
Instead of:

declare function setTimeout(handler: any, timeout?: any, ...args: any[]): number;

Now you must do something like:

declare function setTimeout(handler: () => void, timeout?: any): number;
declare function setTimeout<P0>(handler: (p0: P0) => void, timeout: any, p0: P0): number;
declare function setTimeout<P0, P1>(handler: (p0: P0, p1: P1) => void, timeout: any, p0: P0, p1: P1): number;
...  P2 ... Pn
declare function setTimeout(handler: any, timeout?: any, ...args: any[]): number;

And with variadics it will be simple:

function setTimeout(handler: () => void, timeout?: any): number;
function setTimeout<T...>(handler: (t: T...) => void, timeout: any, t: T...): number;
declare function setTimeout(handler: any, timeout?: any, ...args: any[]): number;

[dead-claudia]

Ping, anyone? Just making sure this doesn't get lost in the shuffle.

As for actual functions (not simply declared), there should be a requirement that variadic parameters cannot be accessed directly as arrays - you should only be allowed to spread those parameters in calls to other functions. Otherwise, it's near impossible to correctly check the type of the parameter accessed, as TypeScript doesn't have dependent types and higher order types, both of which would be required to support parameter access. (Haskell uses that for hackish support for variadic types in the first place.)

I think C++ has a similar condition, although please correct me if I'm wrong (I'm not as familiar with C++).

[sandersn]

@IMPinball, #5453 addresses your concern by disallowing parameter access. I'll take a look at C++'s variadic template arguments today to see how it's handled there.

[dead-claudia]

Interesting. It almost looks like Japanese to me, even though I can somehow
comprehend it.

On Thu, Nov 5, 2015, 09:41 Nathan Shively-Sanders notifications@github.com
wrote:

@IMPinball https://github.com/impinball, #5453
#5453 addresses your
concern by disallowing parameter access. I'll take a look at C++'s variadic
template arguments today to see how it's handled there.

—
Reply to this email directly or view it on GitHub
#1773 (comment)
.