F#递归的和类型？

在F#中，我们可以使用和类型（Union Types）来定义递归的数据结构。和类型允许我们定义一个类型可以是多个不同类型中的其中一个。

下面是一个使用和类型定义递归的和类型的示例代码：

type MyList<'a> =
    | Empty
    | Cons of 'a * MyList<'a>

let rec sum myList =
    match myList with
    | Empty -> 0
    | Cons (x, xs) -> x + sum xs

let myList = Cons (1, Cons (2, Cons (3, Empty)))
let result = sum myList

printfn "Sum: %d" result

在上面的代码中，我们定义了一个名为MyList的和类型，它可以是空列表（Empty）或由一个值和另一个列表组成的节点（Cons）。使用和类型可以方便地定义递归的数据结构。

在sum函数中，我们使用模式匹配来处理不同的情况。当列表为空时，我们返回0作为和。当列表是一个节点时，我们递归地计算节点的值并将其与剩余列表的和相加。

最后，我们创建了一个包含1、2、3的列表，并将其传递给sum函数进行求和。然后打印结果。

输出将会是：

Sum: 6