javascript - FlowJS 内联柯里化(Currying)函数类型与 Union

Question

如何在 Flow 中使用 Union 编写内联柯里化(Currying)函数类型？

以下示例可以正常工作:

type Foo = () => () => string;

function func(foo: Foo): string {
    return foo()();
}

这是 Union 的问题:

type Foo = () => string | () => () => string;

function func(foo: Foo): string {
    const f = foo();
    if (typeof f === 'function') {
      return f(); // Cannot return `f()` because function type [1] is incompatible with string [2].
    }
    return f;
}

但是，它可以通过以下方式修复:

type TF = () => string;
type Foo = TF | () => TF;

function func(foo: Foo): string {
    const f = foo();
    if (typeof f === 'function') {
      return f();
    }
    return f;
}

那么如何使用 Union 编写内联柯里化(Currying)函数类型呢？

Try Flow

Answer 1

问题出在这里:

type Foo = () => string | () => () => string;

目前，这表示 Foo 是一个函数类型，其返回类型为:

string | () => () => string

这不是你想要的。如果添加一些括号，Flow 将正确理解这一点:

type Foo = (() => string) | () => () => string;

(Try Flow)