OCamlの再帰型ですか？

Question

こんにちは、これは初めてのスタックオーバーフローの投稿です。OCamlで型を構築しようとしているときに問題が発生しました。

ノード/リーフ/ etcを持つタイプツリーを構築しようとしています。これは私がこれまで持っていたものです。

私のノードは、その名前と別のツリーをタプルとして含む型であると考えられます。しかし、これをコンパイルしようとすると、ツリーには2つの引数が必要であると言われました。だから私は試しました：

type ('a, 'b) tree = Empty | Leaf of 'b | Node of ('a * tree ('a*'b)) 

私はまだエラーが発生していました。私が間違っていることに気づいたものは何ですか？ありがとう！

おそらくPS

type ('a, 'b) tree = Empty | Leaf of 'b | Node of ('a, 'b) tree * 'a * ('a, 'b) tree 

かかわらず、あなたのノードは、2つの、複数の子を持って欲しい

Answer 1

type ('a, 'b) tree = Empty | Leaf of 'b | Node of 'a * ('a, 'b) tree 

：最初は、コンストラクタFooです：Foo of bar * bazとFoo of (bar * baz)が同じではない、型宣言よりも注意してください2つのフィールドでは、2番目のフィールドには1つのフィールドしかありません。タイプは(bar * baz)です。