Fließen die Verfeinerungen nicht "nach oben"?

Question

Ich war überrascht zu sehen, dass this example nicht funktioniert typecheck:

/* @flow */ 

type State = { flag: boolean } 

function firstStep(state: State) { 
    if (state.flag) { 
    secondStep(state) 
    // this works though: 
    // secondStep({ flag: state.flag }) 
    } 
} 

function secondStep(state: { flag: true }) {} 

3: type State = { flag: boolean } 
        ^boolean. Expected boolean literal `true` 
13: function secondStep(state: { flag: true }) {} 
           ^boolean literal `true` 

Fluss weiß es state.flag zu true verfeinern, aber es weiß nicht, dass state-{ flag: true } verfeinert werden kann. Wird das erwartet?

Answer 1

Wie viele Subtyp Beziehungen mit, die auf der Oberfläche gut aussehen, wird dies durch Veränderlichkeit ruiniert. secondStep könnte einen Verweis auf state behalten und firstStep später state.flag-false ändern könnte.

Dies schließt jedoch funktionieren, wenn Sie disjoint unions:

type State = { flag: true } | { flag: false }; 

(tryflow) verwenden

Sie können feststellen, dass disjunkte Gewerkschaften sowieso besser Ihren Anwendungsfall anpassen, da dann können Sie verschiedene Eigenschaften haben in Ihrem State Objekt abhängig vom Wert des Flags.

Beachten Sie, dass Flow in diesem Fall nicht erlaubt, state.flag auf false zu setzen, so dass die Verfeinerung in secondStep gespeichert werden kann.