匹配 ocaml 中的复杂数据类型

Question

同时匹配下面的数据

let atable = ("Student", [("Id", ["2";"4";"7";"9"]);
                          ("Name", ["Jim";"Linnea";"Steve";"Hannah"]);
                          ("Gender",["Male";"Female";"Male";"Female"]);
                          ("Course",["Geography";"Economics";"Informatics";"Geography"])
                         ]);; 

这种模式

 let rec printTable aTable = match aTable with
      ( )->""
    | (title,[data]) -> "\n"^title^"\n\n"^printTable(data)
    | [(col,cont)::t] -> col^"   "^printTable([t])

我收到一条错误消息，告诉我代码正在尝试匹配 'a * 'b 类型的值，但模式期望匹配 unit 类型的值。这里有什么问题？

Answer 1

为避免与atable 的定义混淆，您希望编写的printTable 代码如下：

let rec printTable a = match a with
     ( )->""
   | (title,[data]) -> "\n"^title^"\n\n"^printTable(data)
   | [(col,cont)::t] -> col^"   "^printTable([t])

a 是函数的参数。

Following syntax of pattern matching : "表达式 expr 依次匹配各种模式 p1, ..., pn。如果其中一个模式（例如 pi）与 expr 的值一致，则相应的计算分支 ( expri) 被评估。各种模式 pi 属于同一类型。"

在您的情况下，您打算将表达式 a 匹配到 3 种不同的类型，它们是：

1. 单位（）
2. 由某物和一个包含 1 个元素的列表组成的元组（因为 ;(title,[data]) 属于那种类型）
3. 元组列表的列表（因为(col,cont)::t是元组列表，因此[(col,cont)::t]是元组列表，更何况这是1个元素的列表）。

编译器假定a 是单元类型，然后报错，因为其他类型不是单元类型。