如何通过可辨识联合定义无限递归对象及编码无限序列？

一、修正可辨识联合类型定义 #

你给出的类型定义中type-1需要替换为具体类型（比如示例中的整数类型int），修正后的定义如下：

type Sequence = 
    | Seq of int * Sequence

这个类型表示一个序列节点，包含当前元素和后续的序列，通过递归引用自身实现无限序列的结构。

二、在REPL中编码无限序列 #

要生成(1,2,3,4,...)这样的无限序列，你可以借助递归函数来构建：

1. 定义递归构建函数 #

let rec buildSeq n = Seq(n, buildSeq (n + 1))

这个函数接收起始数字n，返回一个Sequence节点，当前元素是n，后续序列则是从n+1开始的无限序列。

2. 生成目标无限序列 #

调用构建函数，传入起始值1即可得到目标序列：

let infiniteSeq = buildSeq 1

3. 查看序列的前N个元素 #

直接在REPL中打印infiniteSeq会触发无限递归，导致程序挂起。你可以写一个辅助函数提取序列的前N个元素：

let rec take n seq =
    if n <= 0 then []
    else
        match seq with
        | Seq(x, rest) -> x :: take (n - 1) rest

// 提取前5个元素
take 5 infiniteSeq // 结果为 [1; 2; 3; 4; 5]

内容的提问来源于stack exchange，提问作者Brian