OCaml'deki özyinelem türleri?

Question

Merhaba, Stack Overflow'ta ilk kez gönderiyorum ve OCaml

'da bir tür oluşturmaya çalışırken bir sorunla karşılaşıyorum. Düğümler/yapraklar/etc içeren bir tür ağaç oluşturmaya çalışıyorum. Şimdiye kadar sahip olduğum şey bu.

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

Düğüm, adını ve başka bir ağacı bir tuple olarak içeren bir tür olması gerekiyordu. Ama bunu derlemeye çalıştığımda ağacın iki argüman gerektirdiğini söyledi. Ben de denedim:

ve hala hata alıyordum. Yanlış yaptığımı fark ettiğin bir şey var mı? Teşekkürler! Bir tür bildiriminde daha dikkat, Foo of bar * baz ve Foo of (bar * baz) aynı değildir:

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

PS olsa

Answer 1

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

Muhtemelen senin Düğümler iki birden fazla çocuk sahibi istediğiniz ilk bir yapıcı Foo olduğunu iki alanlı, ikincisi sadece (bar * baz) türünde tek bir alana sahiptir.