なぜ活字体は、入力引数の型を推測することはありません

Question

私は活字体で、このコードの例があります。

function twice(x:number) { 
    return x*2; 
} 

function calltwice(y) { 
    return twice(y); 
} 

それがコンパイルされ、ノードでの実行がNaNを与えるを。

yのタイプが何であるか疑問に思っていますか？それは数だけ取ることができる2回の関数に渡されるので、数として推測することを期待しました。そして、この予想は、基本的にはF＃によって引き起こされた：

まさにそのcalltwiceを知っている

let twice x = x*2 
let calltwice y = twice y 

はINT->あなたは、引数を指定し、タイプを返すことができ

Answer 1

をint型である：

function twice(x: number): number { 
    return x*2; 
} 

function calltwice(y: number): number { 
    return twice(y); 
} 

この場合、コンパイラになりますコンパイル中にタイプをチェックします。

注：活字体ではJavaScriptにコンパイルし、実行時に、それはすべてのタイプをチェックしません。潜在的に（JavaScriptからこのコードを呼び出す場合）、これらの関数に任意のオブジェクトを渡すことができます。