Typoskript nicht die richtige Überlastung wählen basierend auf Rückruf Rückgabetyp

Question

den folgenden Code Given (Spielplatz Link: http://bit.ly/1n7Fcow)

declare function pick<T, V>(f:(x:T, y:V) => V):V; 
declare function pick<T, V>(f:(x:T, y:V) => T):T; 
var xx = pick((x: number, y:string) => x); 
var yy = pick((x: number, y:string) => y); 

Typoskript wählt eine falsche Überlastung und nicht die Art von xx abzuleiten.

Ist es möglich, Typoskript dort die richtige Überladung wählen?

Hinweis: Um das XY-Problem zu vermeiden, ist dies das ursprüngliche Problem - - Ich brauche diese Art der Überladung, um Versprechen richtig modellieren zu können.

Answer 1

konnte ich den Spielplatz bekommen die richtige Art von xx zu schließen und durch eine Änderung dieses korrekt yy den Anruf an:

declare function pick<T, V>(f:(x:T, y:V) => V):V; 
declare function pick<T, V>(f:(x:T, y:V) => T):T; 

var xx = pick<number,string>((x, y) => x); 
var yx = pick<number,string>((x, y) => y); 

Siehe hier: http://bit.ly/1p6h8iP Hope this Hilfe.