Dlaczego funkcja Flow nie wnioskuje o typie funkcji na podstawie tego, co zwraca?

Question

Spodziewałem ten kod wpisać sprawdzić in Flow jak to robi in TypeScript:

var onClick : (() => void) | (() => boolean); 
onClick =() => { return true; } 

Zamiast tego, otrzymuję ten błąd:

4: onClick =() => { return true; } 
      ^function. Could not decide which case to select 
3: var onClick : (() => void) | (() => boolean); 
       ^union type 

istnieje ogólna nazwa dla tej decyzji projektowej, a co jest rozumowanie za tym?

Czy można poprosić kontroler przepływu o wybranie typu zwrotu funkcji z instrukcji zwrotu?

Answer 1

Trzeba będzie albo stanowić wyraźny obsady, np

type FuncV =() => void; 
type FuncB =() => boolean; 
var onClick : FuncV | FuncB; 

onClick = (() => { return true; }: FuncB); 

Albo użyć typu egzystencjalnego, np

type Func<T: (void | string)> =() => T; 
var f: Func<*>; 

f =() => { return "hello"; }; 
var msg = f() + " world!"; // type checks against return value above