типы объединения потоков не работают в рекурсивном вызове

Ошибка потока, из-за которой создание объекта приводит к any

You can spot one error if you run your type definition through the Prettier форматировщик кода:

type Plugins =
  | false
  | Plugin
  | (() => Plugins | Array<Plugins> | Promise<Plugins>)

Как видите, ваш тип Plugins верхнего уровня не принимает Array или Promise, потому что возвращаемое значение Plugins имеет более высокий приоритет, чем функция () => Plugins. You can fix that by adding parentheses around your () => Plugins тип функции:

type Plugins =
  | false
  | Plugin
  | (() => Plugins)
  | Array<Plugins>
  | Promise<Plugins>

Изменить: лучший обходной путь

new Engine(…) возвращает значение типа any вместо типа Engine, как вы ожидаете. Вот почему any никакие вызовы .pipe не выдают ошибки, даже если должны.

const initialEngine = new Engine({ name: "one" });
// In Try Flow, put the cursor within `initialEngine`. The type is `any`.

Вы можете обойти это, вручную аннотируя сконструированный движок как Engine, используя либо аннотацию типа, либо присвоение переменной:

В идеале вы могли бы заставить new Engine(…) возвращать Engine, но я думаю, что это ошибка в Flow, а не что-то, что можно исправить, изменив код. Я свидетельствую, что удаление следующего кода внутри вашего метода pipe также устраняет проблему:

console.log(
  (new Engine({ name: 'one'}): Engine)
    .pipe(new Plugin('plugin-one'))
    // …
)

const initialEngine: Engine = new Engine({ name: 'one'})

console.log(
  initialEngine
    .pipe(new Plugin('plugin-one'))
    // …
)

Я создал задачу в системе отслеживания ошибок Flow по этому поводу , демонстрируя проблему на более минимальном примере. Для срабатывания ошибки требуется странная комбинация факторов; вам просто повезло, что вы встретили их всех.

    // get plugin from inside a Promise
    else if (plugin instanceof Promise) {
      plugin.then(plugin => this.pipe(plugin))
    } 

Пока ошибка не будет исправлена, вы должны использовать обходной путь добавления аннотации типа.

Как упоминал wchargin, в проблеме GitHub, вы также можете обойти эту проблему, явно аннотируя constructor Engine как возвращающее void:

Окончательный код

Если вы сделаете это, вам не придется добавлять аннотацию Engine в каждое место, где вы создаете объект Engine.

class Engine {
  // …
  constructor(params: object): void {
    this.params = params
  }
  // …
}

Combine these two fixes to get your final, working code (in Try Flow):

Я играл с ним некоторое время, и не мог понять это. Однако я думаю, что более простым/лучшим решением было бы просто создать функцию канала для каждого типа, т.е. pipe, pipeFunction, pipePromise, pipeArray и т. д.

Проблема приоритета

// @flow

type object = {}
type Plugins =
    false
  | Plugin
  | (() => Plugins)
  | Array<Plugins>
  | Promise<Plugins>

class Plugin {
  name: string
  constructor(name) {
    this.name = name
  }
}

class Engine {
  params = {}
  plugins = {}

  // type the constructor as returning `void` to work around
  // https://github.com/facebook/flow/issues/6738
  constructor(params: object): void {
    this.params = params
  }

  pipe(plugin: Plugins): Engine {
    // do nothing if plugins is false
    if (plugin === false) {
      return this
    }
    else if (typeof plugin === 'function') {
      this.pipe(plugin())
    }
    // get plugin from inside a Promise
    else if (plugin instanceof Promise) {
      plugin.then(plugin => this.pipe(plugin))
    } 
    // iterate over each item of an array
    else if (Array.isArray(plugin)) {
      plugin.forEach(plugin => this.pipe(plugin))
    }
    // initialize each plugin
    else if (plugin instanceof Plugin) {
      this.plugins[plugin.name] = plugin
    }
    // return this for chaining
    return this
  }
}

console.log(
  new Engine({ name: "one" })
    .pipe(new Plugin('plugin-one'))
    .pipe([new Plugin('plugin-two')])
    .pipe(Promise.resolve([new Plugin('plugin-three')]))
    .pipe(() => new Plugin('plugin-four'))
    // should cause a Flow type error
    // $ExpectError
    .pipe(true)
    // The following deeply-nested parameter now works
    .pipe([() => Promise.resolve([() => [Promise.resolve([new Plugin('plugin-five')])]])])
)