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' 
;; 

ノードレコードを作成しようとしましたが、動作しません。そして、ノードの属性が同じである別の型があるとします。どの型のオブジェクトを作成するにはどうしたらいいですか？

ありがとうございます。あなたは空のリストと一致するのを忘れているため

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操作ですので、あなたの機能は多くを書くことができエレガントとしては、以下：Xml.Element上のパターンマッチングは網羅的ではないので

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

しかし、機能が動作しない場合があります。残りのケースを扱うときは注意が必要です。例えば、このようなものは動作します：

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

レコードの種類についてのご質問に答えるために、それは同じフィールドラベルを持つ2つのレコードタイプを持っている悪い習慣を考慮しています。 これらのレコードタイプを異なるサブモジュールに配置して、モジュール接頭辞を使用して区別することができます。しかし、私が言ったように、同じモジュールに2つの同様のレコードタイプを持つと、あなたとOCamlコンパイラに混乱が生じます。