フローのユニオンタイプの配列にオブジェクトの配列を割り当てることができません

Question

私はフローを学習しています。したがって、私はJavaScriptとフローで少しホビープロジェクトに取り組んでいます。私はクラスFooとコンストラクタのオプションとしてFooオブジェクトの配列を取りたい別のクラスBarを持っています。しかし、私はまた、そのようなオブジェクトごとにいくつかの他のデータを送ることができるようにしたいので、それぞれの要素が普通のFooオブジェクトか、配列またはオブジェクトに包まれたFooオブジェクトのどちらかの配列を持っていたいと思います。

しかし、私はこのコードを書こうとしたとき、私は理由を理解できない奇妙なエラーが出てきました。私が知る限り、タイプの競合があると考えています。Fooはと互換性がありません。すべてのタイプのユニオンですが、私が理解する限り、それらの少なくとも1つと互換性があります...

ここで私は私が得た正確なエラー（link to tryflow.org example）を再現するために必要な最小限のコードは次のとおりです。

// @flow 

class Foo { } 

interface BarOptions { 
    foos: (Foo | [ Foo ] | { foo: Foo })[];   // line 6 
} 

class Bar { 
    constructor(options?: BarOptions) { } 
} 

const foo: Foo = new Foo(); 

const bar = new Bar({ 
    foos: [ foo ],         // line 16 
}); 

私は次のエラーを取得：

Line 6: 
    tuple type: This type is incompatible with Foo 
    object type: This type is incompatible with Foo 
Line 16: 
    tuple type: This type is incompatible with Foo 
    object type: This type is incompatible with Foo 

がありますこれらのエラーの直感的な（または直観的でない）理由はありますか？

Answer 1

私はBarOptionsは実際にはインターフェイスの代わりにタイプエイリアスであるべきだと思います。インタフェースdeclares a type that classes can implement。インターフェイスはデータ型ではなく、フィールド（データを含む）を持つべきではありません。

interface BarOptionsからtype BarOptions =に変更するとすべてが動作します。

別の方法としては、getter関数になるためにfooを変更することができます。

interface BarOptions { 
    foos(): (Foo | [ Foo ] | { foo: Foo })[]; 
} 

Answer 2

は、このオープンのGithub ticketに関連するかもしれないあなたと思いますか？ interfaceをtypeに置き換えた場合、

// @flow 

class Foo { } 

type BarOptions ={ 
    foos: 
     Class<Foo> | 
     Foo | 
     Foo[] | 
     { foo: Foo } 
} 

class Bar { 
    constructor(options?: BarOptions) { } 
} 

const foo: Foo = new Foo(); 

const bar = new Bar({ 
    foos: Foo, 
// foos: foo, 
// foos: [foo], 
// foos: { foo: foo }, 
});