types - 受歧视联盟中的 fsharp 记录

Question

我正在尝试这个构造:

type Tree<'a> =
| Leaf 
| Node of { value:'a ; left:Tree<'a> ; right:Tree<'a> }

但是f#好像不支持这个(奇怪)。但是然后如何使用单独的记录类型执行此操作，然后得到陷入循环依赖。

Answer 1

使用关键字和来处理循环依赖:

type Rec<'a> = { value:'a ; left:Tree<'a> ; right:Tree<'a> }

and Tree<'a> =
| Leaf 
| Node of Rec<'a>