TypeScriptのラムダ戻り型のシグニチャー

Question

以下のTypeScriptでは、戻り値の型を明示的に宣言しようとしている点を除き、両方の関数は同じです。demoTwo。戻り型は、それ自身が入力として関数をとる関数です。私の質問は、なぜなぜそれが使用されないと仮定すると、パラメータ名を与える必要がありますか？その位置に何かがなければ、コードはコンパイルされません。

function demoOne() { 
    return function(input:() => string) : void { 
     var result = input(); 
     console.log("Foo:",result); 
    } 
} 

function demoTwo(): (whyThis:() => string) => void { 
    return function(input:() => string) : void { 
     var result = input(); 
     console.log("Bar:",result); 
    } 
} 

var sampleInput =() => "wibble"; 
demoOne()(sampleInput); 
demoTwo()(sampleInput); 

私はここにScalaでは同等のコードだ求めているものを明確にする：

function demoTwo(): (whyThis:() => string) => void { //TS 
def demoTwo(): (() => String) => Unit = { //Scala 

：我々は、我々が持っている側の demoTwo側の宣言を設定した場合

object Program { 
    def demoTwo(): (() => String) => Unit = { 
    def tmp(input:() => String): Unit = { 
     val result = input() 
     println("Bar: " + result) 
    } 
    return tmp 
    } 
    def main(args: Array[String]): Unit = { 
    val sampleInput =() => "wibble" 
    demoTwo()(sampleInput) 
    } 
} 

唯一の主な違いは、TSがで何かを必要としていることです。なぜなら、このの位置とScalaはそうではありません。なぜこれが当てはまるべきですか？

Answer 1

typescriptのすべての関数パラメータは、使用するかどうかにかかわらず、名前を持つ必要があります。あなたが追加しているのは、コールシグネチャです。これは実行時には使用されませんが、コードの作成時に役立ちます。

あなたが例の両方のために生成されたJavaScriptファイルを見ると、彼らは両方の出力まったく同じコードになります。

function demoOne() { 
    return function (input) { 
     var result = input(); 
     console.log("Foo:", result); 
    }; 
} 
function demoTwo() { 
    return function (input) { 
     var result = input(); 
     console.log("Bar:", result); 
    }; 
} 

EDITは：パラメータは、実行時に使用されることはありませんその中であなたは、正しいですこれらのパラメータはコンパイル時に表示されます（エディタによって異なります）。コールシグネチャを追加しないと、エディタは実行時パラメータから推論し、コンパイル時にこれを表示します。あなたはあなたのことを考えることができ

は、他のコードが使用されているどのように人々とどのようなパラメータは、あなたのコードを消費します人々のために非常に理解しやすいように書かれて、表現するために通信する方法として、署名を呼び出します。ここで

は、Visual Studioがあなたの機能の上にhooveringたときにこれらの関数を呼び出すときに、これらのコードの定義もVSCodeや他のエディタに表示示しものです：

デモ1：

デモ2 ：

Answer 2

私は混乱ステムを考えます署名が定義されている方法からです。最後の二つのタイプの数の引数を取るvoid型関数の署名です

(number) => Void 
(x : number) => Void 
(_ : number) => Void 

下の3人の署名を注意してください。しかし、最初の関数は、Any型のargumnetを名前番号で受け取る関数です。したがって、言語には型の後に名前が必要です。型が省略されている場合は、Any型が引き継がれます。

ので、

(() => string) => void 

「（）=>文字列」として有効ではありませんが、有効な名前ではなく、コンパイラがそのように解析しようと混乱しています。

最短フォームは '_：タイプ'を使用します。

しかし、私は名前を省略し、タイプのみを使用しているか、名前をオプションにしておくほうがよかったと思います。私はなぜ彼らがデザインの決定を下したのか分からず、おそらく既存のJavaScriptの関数（型なし）との混乱を避けるためです。