Akışı neden döndüklerine bağlı olarak bir işlev türünü çıkarmaz?

Question

Ben in TypeScript yaptığı gibi in Flow kontrol yazmak için bu kodu bekliyordum:

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

bu tasarım kararı için genel bir isim var mı ve ne: Yerine

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

, bu hatayı alıyorum arkasındaki mantık?

Akış denetleyicisinden bir işlevin dönüş türünün döndürme ifadelerinden çıkmasını istemek mümkün müdür?

Answer 1

Sen açık döküm, örneğin sağlamak ya da olması gerekir: Varoluşçu türü, örneğin

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

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

Veya kullanın:

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

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