flowtype - 需要帮助理解一些 Flow 类型的语法

Question

我正在将带有库 ( Relay ) 的 Flow 类型生成器移植到一个发出 TypeScript 类型的流类型生成器，但对 this snippet 中的某些 Flow 语法有一些疑问:

import type { FragmentReference } from 'relay-runtime';
export opaque type TypenameInside$ref: FragmentReference = FragmentReference;
export type TypenameInside = ({|
  +__typename: 'User',
  +firstName: ?string,
  +$refType: TypenameInside$ref,
|} | {|
  +__typename: 'Page',
  +username: ?string,
  +$refType: TypenameInside$ref,
|} | {|
  // This will never be '%other', but we need some
  // value in case none of the concrete values match.
  +__typename: '%other',
  +$refType: TypenameInside$ref,
|});

即，什么是 $ref 、 $refType 和 %other ？或者它们不是特定于流的，而是特定于中继的？

我尝试搜索 flowtype 文档和 repo，但很难找到答案。链接到文档和/或实现的相关部分也将不胜感激。

Answer 1

$ref , $refType等是正常的类型名称。
$类型前缀是表示实用程序类型的约定，例如 $Keys ，虽然看起来不像这里遵循约定。
%other只是一个普通的字符串。 Relay 可能在内部将字符串用于某些特殊目的。