[解決済み] TypeScriptでパラメータとして強く型付けされた関数は可能か？

質問

TypeScriptでは、関数のパラメータをFunction型として宣言することができます。私が見逃している、型安全な方法はありますか？例えば、このような場合を考えてみます。

class Foo {
    save(callback: Function) : void {
        //Do the save
        var result : number = 42; //We get a number from the save operation
        //Can I at compile-time ensure the callback accepts a single parameter of type number somehow?
        callback(result);
    }
}

var foo = new Foo();
var callback = (result: string) : void => {
    alert(result);
}
foo.save(callback);

保存のコールバックはタイプセーフではありません。関数のパラメータが文字列のコールバック関数に、数値を渡していますが、エラーなしでコンパイルされます。saveのresultパラメータをタイプセーフな関数にすることは可能でしょうか？

TL;DR版：TypeScriptに.NETのデリゲートに相当するものはあるのか？

解決方法は？

もちろん、関数の タイプ は、引数の型と戻り値の型から構成されます。ここでは callback パラメータの型は "数値を受け取って型を返す関数でなければなりません。 any となります。

class Foo {
    save(callback: (n: number) => any) : void {
        callback(42);
    }
}
var foo = new Foo();

var strCallback = (result: string) : void => {
    alert(result);
}
var numCallback = (result: number) : void => {
    alert(result.toString());
}

foo.save(strCallback); // not OK
foo.save(numCallback); // OK

必要であれば タイプのエイリアス を使用してカプセル化します。

type NumberCallback = (n: number) => any;

class Foo {
    // Equivalent
    save(callback: NumberCallback) : void {
        callback(42);
    }
}