流向 TypeScript 迁移

Question

我尝试将尚未编写的项目从 Flow 迁移到 TypeScript。 我有一些 Flow 结构，我在 TypeScript 中找不到对应的结构。

type Value =
  | string
  | number
  | boolean
  | BaseObject
  | Array<BaseObject>

type BaseObject = ObjectMap<?Value> & {
  meta?: BaseObject;
}

type ObjectMap<T> = {
  [key: string]: T;
};

我收到此错误：Type alias 'BaseObject' circularly references itself 和 Type alias 'Value' circularly references itself。我理解这个错误的含义，但我找不到在 TS 中没有错误的情况下获得相同行为的方法。

有什么想法吗？

Answer 1

这是TypeScript in the playground（和等效的Flow in the playground）。

// The unchanged Flow type works in TypeScript.
type Value =
    | string
    | number
    | boolean
    | BaseObject
    | Array<BaseObject>

// The unchanged Flow type works in TypeScript.
type ObjectMap<T> = {
    [key: string]: T;
};

// The unchanged Flow type...
// type BaseObject = ObjectMap<?Value> & {
//     meta?: BaseObject;
// }

// ...and the equivalent TypeScript.
interface BaseObject extends ObjectMap<Value | null | undefined> {
    meta?: BaseObject;
}

关于差异的一些说明：

• Flow 的?Value 是Maybe； TypeScript 等效项是 Value | undefined | null。
• Flow 的type 可以自引用/递归；在 TypeScript 中an interface may self-reference/recurse but a type usually may not。

演示

const x: BaseObject = {
    prop1: null,
    prop2: undefined,
    prop3: 'prop3',
    prop4: 10,
    prop5: {
        meta: {}
    },
    prop6: [{
        meta: {}
    }],
    prop7: new Date() // causes an error
}