Javascriptのフロージェネリック関数の構文

Question

ジェネリックマップ関数を記述しようとすると、構文エラーが発生します。

function mymap<A, B>(fun: (_: A) => B, array: Array<A>): Array<B> { 
    let result: Array<B> = []; 
    for (let i of array) 
     result.push(fun(i)); 
    return result; 
} 

let x = mymap<number, number>(x => x, [1, 2, 3]); 
          ^Unexpected token  

フロー：Unexpected token >と表示されます。私は間違って何をしていますか？ご協力ありがとうございました。

Answer 1

フローはタイプチェッカーのみです。汎用実装の型オーバーロードは許可されませんが、関数を呼び出すときは型を指定しないでください。フローは、関数のシグネチャとの互換性を確認するために引数をチェックし、出力の種類を差し引くだけです。だから、あなただけ

let x = mymap(x => x, [1, 2, 3]); 

を書く必要があるとフローは、式の出力タイプを控除してx変数に適用されます。

それとも、明示的xの種類を指定することができます

let x: Array<number> = mymap(x => x, [1, 2, 3]); 

この場合のフローが必要な型と控除のタイプを比較することができますが、あなたが誤ってx => x.toString()のような間違ったマッピング機能を使用する場合は、フローそれについてあなたに警告します：

let x: Array<number> = mymap(x => x.toString(), [1, 2, 3]); 
//   ^string   ^This type is incompatible with number