实现seq序列函数时出现Stack overflow during evaluation (looping recursion?)错误

让我们一步步拆解你遇到的栈溢出问题，主要是调用参数错误、递归调用不完整，以及实现逻辑的小问题导致的：

1. 调用参数完全不符合函数签名 #

你写的调用代码：

to_list (seq 1 seq 1 (fun x -> x+1) (fun x -> x <10))

完全匹配不上你定义的seq函数。你的seq函数需要三个核心参数：初始值init、步长变换函数step、终止条件cond，最后还要传一个()（unit类型参数）。正确的调用顺序应该是：

to_list (seq 1 (fun x -> x+1) (fun x -> x <10) ())

2. 递归调用缺少unit参数，触发无限递归 #

你的seq实现里有个致命错误：

if cond !r then Cons(step !r, seq !r step cond) else Nil

这里递归调用seq !r step cond时没有传最后的()，这意味着你返回的不是链表节点Cons/Nil，而是一个待执行的函数。这会导致构造的“链表”其实是一串嵌套的函数，to_list遍历的时候会不断触发函数调用，但永远碰不到终止的Nil，最终直接把栈耗尽，引发溢出。

修正后的递归调用必须带上()：

seq !r step cond ()

3. 初始值被意外漏掉 #

原需求是返回从init开始的序列，但你的代码里直接把step !r作为Cons的第一个元素，这会跳过初始值。比如初始值是1的话，你的序列会从2开始，完全不符合需求。

4. 不必要的引用（ref）增加复杂度 #

你用ref init完全是多余的，OCaml作为函数式语言，直接使用不可变值即可，引用不仅没帮上忙，反而增加了出错的可能。

修正后的完整可运行代码 #

我们重构一下seq函数，解决所有问题：

type 'a my_list = Nil | Cons of 'a * 'a my_list

let rec seq init step cond () =
  if cond init then
    Cons(init, seq (step init) step cond ())
  else
    Nil

let rec to_list = function
  | Nil -> []
  | Cons(x, xs) -> x :: to_list xs

(* 测试调用，会得到正确的序列 *)
to_list (seq 1 (fun x -> x + 1) (fun x -> x < 10) ())
(* 输出结果: [1; 2; 3; 4; 5; 6; 7; 8; 9] *)

总结栈溢出的根因 #

错误的递归调用（缺少()）导致构造的不是真正的链表，而是一串未执行的函数闭包。当to_list尝试遍历这个结构时，会无限递归调用这些函数，永远触不到终止条件Nil，最终耗尽栈空间抛出错误。

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