如何在TypeScript中注释递归类型？

Question

如果我有这样的功能:

function say(message: string) {
    alert(message);
    return say;
}

它有一个有趣的属性,我可以链接调用它:

say("Hello,")("how")("are")("you?");

如果我将数字传递给第一个调用,编译器将生成警告,但它允许我将数字放入后续调用中.

say("Hello")(1)(2)(3)(4)

say当我将无效类型传递给链式调用时,我需要向函数添加什么类型的注释以使编译器生成警告？

Answer 1

引用自身的类型必须具有名称.例如,

interface OmegaString {
    (message: string): OmegaString;
}

然后你可以注释say为OmegaString,

function say(message: string): OmegaString {
    alert(message);
    return say;
}

然后以下代码将进行类型检查.

say("Hello,")("how")("are")("you?");

但以下不会,

say("Hello")(1)(2)(3)(4)