OCaml의 재귀 적 유형?

Question

안녕하세요, 이것은 Stack Overflow에 게시 한 첫 번째 시간이며 OCaml에서 유형을 생성하는 동안 문제가 발생했습니다.

nodes/leafs/etc가있는 유형 트리를 생성하려고합니다. 이것은 내가 지금까지 가지고있는 것이다.

내 노드는 그 이름과 터플로 다른 트리를 포함하는 유형으로되어 있습니다. 그러나 이것을 컴파일하려 할 때 트리는 두 개의 인수가 필요하다고했습니다. 그래서 시도 :

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

나는 여전히 오류가 발생했습니다. 내가 잘못하고있는 것을 눈치 채는 것? 감사! 타입 선언에보다주의, Foo of bar * baz 및 Foo of (bar * baz)가 동일하지 :

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

PS는하지만

Answer 1

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

당신은 아마 당신의 노드 두 개 이상의 자녀가 할 첫 번째 생성자 Foo입니다 두 개의 필드가있는 경우 두 번째 필드에는 (bar * baz) 유형의 필드가 하나만 있습니다.