OCaml:从函数创建记录

Question

type node = {
  lan: string;
  lat: string;
};;

let rec read_nodes_from_list list = match list with
  | Xml.Element("node", _, _)::list' -> {lan="A"; lat="B"}::read_nodes_from_list list'
;;

我试过这个来创建一个节点记录，但它不起作用。假设我有另一种具有与节点相同属性的类型，我如何告诉 ocaml 要创建哪种类型的对象？

谢谢。

Answer 1

很明显，你的函数没有工作，因为你忘记了匹配空列表:

let rec read_nodes_from_list list = match list with
  | Xml.Element("node", _, _)::list' -> {lan="A"; lat="B"}::read_nodes_from_list list'
  | [] -> []

您实际上想做的是对列表进行 map 操作，因此您的函数可以更优雅地编写如下:

let read_nodes_from_list list =
   List.map (fun (Xml.Element("node", _, _)) -> {lan="A"; lat="B"}) list

但是，该功能可能无法正常工作，因为 Xml.Element 上的模式匹配并不详尽。处理剩余案例时应小心。例如，这样的事情会起作用:

let read_nodes_from_list list =
   List.map (function | (Xml.Element("node", _, _)) -> {lan="A"; lat="B"}
                      | _ -> {lan=""; lat=""}) list

要回答您关于记录类型的问题，将两种记录类型具有相同的字段标签认为是一种不好的做法。您仍然可以将这些记录类型放在不同的子模块中，并使用模块前缀来区分它们。但正如我所说，在同一个模块中有两个相似的记录类型会给您和 OCaml 编译器带来混淆。