より少ないまたはより多くの引数を持つ型チェック関数シグネチャ

Question

これは、関数型が定義されていて、型検査しようとしている関数式が次のような場合に、型チェックを行うことについてです：（a）タイプ。

以下のタイプチェックが必要ですが、ここでの質問はありません。

declare type TFunctionNumberToBoolean = (n: number) => boolean; 
const f: TFunctionNumberToBoolean = function isEven(n: number) {return n%2==0;} 

以下の場合、次のように機能タイプ規範 "ブールする番号を、" 変更された（場合）：

（ N：数）=>ブール

＆hellip ;です。TypeCheckない：規範以下のように関数の種類が変更され、 "数がブールする"

declare type TFunctionNumberToBoolean =() => boolean; 

const f: TFunctionNumberToBoolean = function isEven(n: number) {return n%2==0;} 

以下の場合（ケースB）：

（nは数、FOO：数 ）=>ブール

＆hellip; typechecks：

declare type TFunctionNumberToBoolean = (n: number, foo: number) => boolean; 

const f: TFunctionNumberToBoolean = function isEven(n: number) {return n%2==0;} 

ケースの背後にある理由（定義関数のタイプよりも多くの引数）型チェックではないが、ケースB型チェック（定義された関数型未満の引数）が何である

？反対の行動がより直感的であるという議論ができたと私はめったに考えない。

私はFlow 0.35を使用しています。

Answer 1

は、あなたがオブジェクトの2つのプロパティを取り、それらを合計する機能を持っているとしましょう：あなたは追加の引数を渡すとどうなる

function sum(obj) { 
    return obj.a + obj.b; 
} 

何？悪いことではなく、無視されます。

引数を指定しないとどうなりますか？ TypeError: Cannot read property 'a' of undefinedが得られます。

より多くの引数を渡すことは安全です。より少ない引数を渡すことは安全ではありません。