json - 如何在 JSON 中表示变体(总和类型)？

Question

代数数据类型是一种准确描述数据的方法。

当涉及到 JSON 时，产品类型没有问题，即每个结构都一一列出属于它们的 props。

但是，尚不清楚如何处理暗示一组 Prop 或另一组 Prop 的总和类型，但不是两者或它们的组合(除非它们有一些相似之处)。

所以

• 如何用 JSON 表示总和类型？
• 如何区分同样可能的情况？

Answer 1

以以下变体类型为例。

data Tree = Empty
          | Leaf Int
          | Node Tree Tree

在 JSON 中，您可以使用以下三种形式来指定三种变体。

Variant | JSON
--------+---------------
Empty   | null
--------+---------------
Leaf    | {
        |   "leaf": 7
        | }
--------+---------------
Node    | {
        |   "node": [
        |     <tree>,
        |     <tree>
        |   ]
        | }

基本上，使用具有单个键值对的 JSON 对象，其中键是选定的变体。