OCamlの入門文書を読んでいて「再帰データ型」というものを見かけました。 type 'a tree = Leaf of 'a | Node of 'a tree * 'a tree ;; treeはLeafもしくはNodeですが、Leafの場合は値（'a）を持ち、Nodeの場合は'a型のtreeをふたつ持つ、という意味です。「…