Как структурировать разделительную оболочку объединения для улучшения работы?

Question

On the Flowtype "Try" site

// @flow 

type One = {type: "One"}; 
type Two = {type: "Two"}; 
type Node = One | Two; 


class Foo<N: Node> { 
    node: N; 

    constructor(n: N) { 
    this.node = n; 
    } 
} 

const fooNode: Foo<Node> = new Foo({type: "One"}); 
if (fooNode.node.type === "One") { 
    const fooOne: Foo<One> = fooNode; 
} 

if проверка типа не достаточно, чтобы уточнить тип, если я понимаю правильно, потому что тип не гарантируется постоянным.

Поскольку я хочу избежать возможности того, что это проблема X/Y, в настоящее время мы играем с данного узла с помощью метода .find, который возвращает утонченный тип, например. используя

parent(): Foo<N> | null { 
    // ... 
    return null; 
    } 

    find<U: Node>(callback: (foo: Foo<N>) => Foo<U> | null): Foo<U> | null { 
    let p = this; 
    do { 
     const result = callback(p); 
     if (result) return result; 

     p = p.parent(); 
    } while (p); 

    return null; 
    } 

с

const f: Foo<Node> = new Foo({type: "One"}); 

const result: Foo<Two>|null = f.find((p) => p.node.type === "Two" ? p : null); 

, который позволил бы мне вернуть изысканный вид на время поиска.

Answer 1

Проблема с типом аннотаций на этой линии:

const fooNode: Foo<Node> = new Foo({type: "One"}); 

Явно используя Foo<Node> вы предотвратить утонченность от происходящего. Вы можете использовать Foo<*>, чтобы сделать вывод корректным.

Вот пример: https://flowtype.org/try/#0PTAEAEDMBsHsHcBQiAuBPADgU1AeQHY4C8oA3qOtgFygBEBWtoAvgNyqY4Aq8soJ5Slhq0esJmw7ZQAOVgATYnkKgAPqDHtEAY2gBDAM4HQAMViwAPDJpzFAPjKJQofAuGytz7bHwGUAJwBXbRRYfwAKfBsASkdnZxQACwBLAwA6V0V+F3ZnZkR85G9fFFBIc1t3M0sAKgcSQnhTc3DSIREGWmZo9nDy2EqaaosGOx7EPoq3IfMLMTHWUBBQLH9-MKA

Answer 2

Есть две проблемы. Foo является инвариантным, поэтому вы никогда не сможете его усовершенствовать: у него нет каких-либо известных подтипов, кроме самого себя.

С другой стороны, даже если Foo был ковариантным, это не сработало. Вы просто не можете уточнить общий класс.

Единственный практичный вариант - снова развернуть, уточнить и обернуть.