Question

说我有以下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构造。

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

Answer 1

您可以为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，因为规避类型系统很容易破坏您的代码。确保始终注释类型，以防止类型推断给您带来惊喜。

将记录列表导出到没有标签的对象的JavaScript数组

1 个答案: