F#：设计或不设计相互可靠的记录类型

Question

• 我尝试使用 F# 记录对树的节点进行建模。
• 这是我的设计的抽象：

type Tree = { Root: Node }
and Node = { Tree: Tree }

• （当然还有其他记录字段）
• 基本原理是给定一棵树我想快速访问它的根节点；此外，我想知道任何给定节点（包括根节点）的关联树。
• 用根初始化一棵树：

let rec newTree = { Root = newRoot }
and newRoot = { Tree = newTree }

• 现在，我读到 这只是因为支持字段上的一些意外 internal 可见性，这也导致任何初始化此类 tree/root 记录的函数必须位于与类型定义相同的程序集（不太好，但我可以接受）。
• This post 描述了对相互依赖的字段使用 options，但我真的想建模每棵树都有一个根节点（我的系统中没有空树）并且每个节点都有一个树，无需测试 Some/None.
• 我的设计方法合理吗？ 或者我应该用另一种方式模拟树及其节点之间的内在边界？

Answer 1

无需为根声明类型。从类型的角度来看，一棵树 是 一个节点。在 f# 中定义树的规范方式是这样的

type Node = 
   | N of int * Node list // (inner) node
   | L of int  // leaf

let tree = N(3, [L(5); L(7)])

如果您为叶子定义一个单独的案例或简单地使用

，则由您选择

type Node = N of int * Node list

int 是节点数据类型。您将自定义它甚至使用通用的。

我经常使用可变子集合，然后我使用像

这样的记录

type Node = { data: int; mutable children: Node list }

let root = { data=3; children=[] }
root.children <- [{ data=7; children=[] }]