xml - 如何将 Ocaml 数据类型转换为 xml，反之亦然？

Question

有没有一种简单的方法可以将 Ocaml 数据类型转换为相应的 xml 表示形式？

假设我有以下类型:

type A =
  | FirstA of B list
  | SecondA of C * string

type B = B1 | B2

type C = {
  my_field: int;
}

对于值 SecondA (C {my_field=10}, "just a value") 我想得到这样的东西:

<A constructor="FirstA">
   <C><my_field>10</my_field></C>
   <string>just a value</string>
</A>

有没有图书馆可以做这样的事情？或者，如果我必须自己做，最好的方法是什么？请注意，我想将其应用于多种不同的数据类型。

我知道数据类型通用编程技术，但它们太“繁重”，无法在我的案例中使用。

Answer 1

如果我没有正确理解你的问题，那就是 IoXML可以做到:

IoXML is a Camlp5 syntax extension for OCaml mli and ml files which generates XML parsers and printers for all types you define.

JSON 有一个类似的:https://github.com/mirage/shelf

如果您不介意使用 JSON，我建议您也查看 ATD/yojson .该系统依赖于外部数据定义语言，但它仍然生成惯用的 OCaml 类型定义。

更新 (08/15/2011):现在是我自己的 Piqi project也可以做到这一点。它可以使用 4 种不同的格式序列化 OCaml 数据:Google Protocol Buffers、JSON、XML 和 Piq。