なぜ、返されたものに基づいて関数の型が推測されないのですか？

Question

私はそれがin TypeScriptがそうであるようにin Flowをチェック入力するには、このコードを期待していた。

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

代わりに、私はこのエラーを取得：

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

は、この設計上の決定のための一般的な名称があり、そして何でありますその背後にある推論？

returnステートメントから関数の戻り値の型を推測するようにFlow checkerに依頼することはできますか？

Answer 1

あなたは明示的なキャスト、例えば提供するために、いずれかの必要があります。実存タイプ、例えば

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

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

をまたは使用：

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

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