在 OCaml 中的大型列表文本上编译期间堆栈溢出

问：

我有一个小项目来检查一个数字是否是素数。这个想法是准备（生成）一个素数列表，直到某个点供库函数使用（为此使用代码生成器）。

虽然代码生成工作正常，但如果列表很大（例如，对于最多一百万个素数列表，即 ~75k 个条目），则生成文件的编译会失败。

沙丘建造输出：

dune build 输出的部分（底部）--verbose：

一些代码：

(* prime_list.mli *)
val long_list : int list

(* THIS FAILS TO COMPILE: prime_list.ml (was generated, found only in _build directory) *)
let long_list = [2;3;5;7;
<a lot more entries, depending on parameter provided in dune file...>]

据我了解，列表字面意思是（这当然是糖，因为在编译过程中有太深的嵌套调用和堆栈溢出（可能是解析而不是构造值？可悲的是，我根本不知道编译在 OCaml 中是如何工作的）。2 :: (3 :: ( 5 :: ... )))::

你有什么办法解决吗？我想要一个列表，只要我愿意，使用尾递归编写每个函数，编译器就这样让我失望了......

回顾一下：我在内存中（在生成器中）有列表，但无法将其转储到文件（最好是 .ml）中，从而允许我在主程序中烘焙它，这令人沮丧。

出于绝望，我也尝试生成如下文件：

(* prime_list.ml, another try *)
let long_list = []
let long_list = 999983 :: long_list
let long_list = 999979 :: long_list
...
let long_list = 3 :: long_list
let long_list = 2 :: long_list

以及

let long_list0 = []
let long_list1 = 999983 :: long_list0
let long_list2 = 999979 :: long_list1
...
let long_list78487 = 3 :: long_list78496
let long_list78498 = 2 :: long_list78497
let long_list = long_list78498

但这两种方法都导致了同样的事情（）。我是OCaml的新手，我不明白为什么这不起作用。我对这个问题的答案很感兴趣——可能有点猜测。当然，除了解决我的问题。Fatal error: exception Stack overflow

也许我可以以某种方式更改堆栈的限制？从这个角度（编译器设置和标志）的答案将不胜感激，但这并不能真正令人满意作为最终答案，因为它可能不会无限扩展（不过我可能错了，谁知道呢？

以下是 lib/dune 文件内容，以确保完整性：

; primes_with_generator/lib/dune
(library
 (name primes_with_generator)
 (libraries commons))

(rule
 (target prime_list.ml)
 (deps    (:gen ../generator/gen.exe))
 (action  (with-stdout-to %{target} (run %{gen} 1000000))))

1_000_000 是这里的一个参数 -- 生成最多 1_000_000 的素数。对于生成高达 100_000 的素数，一切都很好，但我希望素数高达 sqrt（INT MAX） ≈ 2^32 ≈ 10^9...好吧，至少不想因为这样的愚蠢原因而停在 ~200k。

Commons 可能无关紧要，但这里是它的界面供您查看：

(* commons/prime.mli *)

(* given arguments:
 - list of primes up to a point, should be in ascending order, may be empty),
 - a number n >= 2
   returns answer to the question: is number n prime?
*)
val is_prime : int list -> int -> bool