なぜこれはTypescriptとFlowで有効ですか？

Question

Scott Wlaschinに基づくexamples in F# Typescriptを使用して機能ドメインモデルを設計しようとしています。

しかし、オプションのパラメータでより厳密に定義された型を持たせるために、私は、typescriptが期待したプロパティを検証していないことに気付きました。このタイプのために例えば

、：

type ObjectOne = { 
    propertyOfOneMustBeNumber: number 
} 
type ObjectTwo = { 
    propertyOfTwoMustBeNumber: number 
} 

type Options = ObjectOne | ObjectTwo 

私は次の使用例があります。

// valid 
const test1: Options = { 
    propertyOfOneMustBeNumber: 1, 
    propertyOfTwoMustBeNumber: 2 
} 

// invalid: 
// Object literal may only specify known properties, 
// and 'unrecognized_property' does not exist in type 'Options'. 
const test2: Options = { 
    propertyOfOneMustBeNumber: 1, 
    unrecognized_property: 'string' 
} 

// valid 
const test3: Options = { 
    propertyOfOneMustBeNumber: 1, 
    propertyOfTwoMustBeNumber: 'string' 
} 

test2変数のエラーが発生した理由を私は理解し、 けどなぜpropertyOfTwoMustBeNumberがstrであっても、 の変数test3のエラーはありません数字ではありませんか？

これはフロータイプシステムでも有効です。

Answer 1

両方のタイプのシステムによれば、test3はObjectOneの有効なサブタイプです。あなたが識別プロパティを使用することができ、いずれのタイプのシステムでは

：

flowtypeで

type ObjectOne = { 
    kind: 'one'; 
    propertyOfOneMustBeNumber: number 
} 
type ObjectTwo = { 
    kind: 'two'; 
    propertyOfTwoMustBeNumber: number 
} 

type Options = ObjectOne | ObjectTwo 

// error 
const test2: Options = { 
    kind: 'one', 
    propertyOfOneMustBeNumber: 1, 
    unrecognized_property: 'string' 
} 

// error 
const test3: Options = { 
    kind: 'two', 
    propertyOfOneMustBeNumber: 1, 
    propertyOfTwoMustBeNumber: 'string' 
} 

あなたはまた、既存のどのような種類の余分な性質を防ぐことができます正確なタイプ、使用することができます。

type ObjectOne = {| 
    propertyOfOneMustBeNumber: number 
|} 

をTypeScriptでは、オプションのneverプロパティを使用して、対応するタイプの既存のプロパティを除外できます。

type ObjectOne = { 
    propertyOfOneMustBeNumber: number; 
    propertyOfTwoMustBeNumber?: never; 
} 
type ObjectTwo = { 
    propertyOfOneMustBeNumber?: never; 
    propertyOfTwoMustBeNumber: number; 
}