一般的な上位関数の互換性のないフロータイプ

Question

フローには、voidnullifyによって返されている型が互換性がないと表示されます。私は何かが足りないと思う？

import faker from 'faker' 

type P = 
    | string 
    | number 
    | boolean 

function voidnullify(func:() => P): ?P { 
    const random: number = faker.random.number({ 
    min: 1, 
    max: 10 
    }) 

    const result = func() 

    if (random <= 7) return result 
    else if (random <= 9) return null 
    else return undefined 
} 

function someBoolean() { 
    return true 
} 

function someString() { 
    return "hello" 
} 

function someNumber() { 
    return 1 
} 

let maybeNum: ?number 
let maybeStr: ?string 
let maybeBool: ?boolean 

maybeNum = voidnullify(someNumber) 
maybeStr = voidnullify(someString) 
maybeBool = voidnullify(someBoolean) 

Answer 1

あなたがしていることをやっていることはちょうどサポートされていないと思います。

：それは が仕事をする必要がありますが、あなただけの入力タイプを守るためにしようとしているとして（？それがどのように見える）、フローに有界多型+一般的なパラメータであることを行うための適切な方法かどうかはわかりません

type P = 
    | string 
    | number 
    | boolean 

function voidnullify<A: P>(func:() => A): ?A { 
    const random: number = faker.random.number({ 
    min: 1, 
    max: 10 
    }) 
    ...