说我有以下ReasonML类型：

type xEntry = {title: string};
type yEntry = {value: int};
type entry =
  | X(xEntry)
  | Y(yEntry);

我想将以下值导出到JavaScript端：

/* Input */
let value = [
  X({title: "foo"}),
  Y({value: 123})
];

如下所示：

/* Expected output */
[{"type": "X", "title": "foo"},
 {"type": "Y", "value": 123}]

我几乎可以用以下代码实现它：

[@bs.deriving abstract]
type jsXEntry = {
  [@bs.as "type"]
  type_: string,
  title: string,
};

[@bs.deriving abstract]
type jsYEntry = {
  [@bs.as "type"]
  type_: string,
  value: int,
};

type jsEntry =
  | JsX(jsXEntry)
  | JsY(jsYEntry);

let fromEntry = entry =>
  switch (entry) {
  | X(v) => JsX(jsXEntry(~type_="X", ~title=v.title))
  | Y(v) => JsY(jsYEntry(~type_="Y", ~value=v.value))
  };

let convertToJs = (entries: list(entry)): Js.Array.t(jsEntry) =>
  Array.map(fromEntry, ArrayLabels.of_list(entries));

不幸的是(但可以理解),我得到以下结果：

/* convertToJs(value) */
[ [ { type: 'X', title: 'foo' }, tag: 0 ],
  [ { type: 'Y', value: 123 }, tag: 1 ] ]

此结果包含标记的记录(具有tag属性的单元素数组),这不是我想要的.

我可以在JavaScript端编写一个转换函数来摆脱这种情况,但是我更愿意直接从ReasonML生成正确的结构.

另外,如果可能的话,我想避免使用％bs.raw构造.

如何产生顶部显示的预期输出？

解决方法:

您可以使用抽象类型而不是jsEntry的变体,然后使用Obj.magic规避类型系统并将其强制转换为该类型：

type jsEntry;

let fromEntry: entry => jsEntry = 
  fun | X(v) => Obj.magic(jsXEntry(~type_="X", ~title=v.title))
      | Y(v) => Obj.magic(jsYEntry(~type_="Y", ~value=v.value))
;

但是,请谨慎使用Obj.magic,因为绕过类型系统很容易破坏您的代码.确保始终注释类型,以防止类型推断给您带来惊喜.