Question

我正在尝试这个结构：

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

但是f＃似乎不支持这个（奇怪的）。但接下来如何使用单独的记录类型执行此操作，然后获取陷入循环依赖。

Answer 1

使用关键字and来处理循环依赖：

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

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

Answer 2

古斯塔沃的回答很好。请注意，如果为记录类型提供第二个参数，则可以将递归限制为Tree类型：

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

let someTree = 
    Node { value = 1; 
           left = Leaf; 
           right = Node { value = 2; 
                          left = Leaf; 
                          right = Leaf }}

歧视联盟中的fsharp记录

2 个答案: