多型関数のフロータイプライブラリ定義を宣言する方法

Question

型定義に、パラメータ型によって異なる戻り型がある多型メソッドを指定する適切な方法はありますか？

index.js：

// @flow 
import {func1} from './lib1'; 
const s: string = func1('string'); 
const b: boolean = func1(); // should cause type error but does not! 

lib1.js：

export function func1(p) { 
    return (typeof p === 'string') ? p : 0; 
} 

DEFS/lib1.js.flow

// @flow 
declare module "lib1" { 
    declare export function func1(p: string): string; 
    declare export function func1(_: void): number; 
} 

.flowconfig：

[libs] 
defs/ 

index.js（4）にエラーメッセージが表示されることを期待していましたが、フローはエラーにはなりません！

Answer 1

はい、あなたが与えた例は、オーバーロードされた関数を宣言する方法です。ただし、第2ラインを変更することがあります。

declare function myFunc(_: void): number; 

フロー関数は（not for much longerが）あまりにも多くの引数で呼び出すことができますので、それは関数がで呼び出された場合でも、2番目のオーバーロードを選択することができ文字列。私が提案する変更は、引数がundefinedでなければならないようにします（これは、引数を省略すると暗黙的に渡されるものです）。