Typescript没有根据回调返回类型选择正确的重载

Question

给出以下代码（游乐场链接： 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);

TypeScript选择了不正确的重载，无法推断xx的类型。

是否有可能使打字稿选择正确的超载？

注意：为了避免XY问题，这是最初的问题 - http://bit.ly/QXaQGc - 我需要这种重载才能正确建模promises。

Answer 1

通过更改对此的调用，我能够让操场正确地推断出正确的xx和yy类型：

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);

看到这里： http ： //bit.ly/1p6h8iP希望这个帮助。