我一定已经阅读了标准库模块 Random 和 Random.State 上的 OCaml 手册页六次（可能更频繁），但我不知道如何序列化 PRNG 的当前内部状态.
这是我目前学到的：
模块Random 和Random.State 都在外部抽象/不透明的状态下运行。
两个模块都提供了两个/三个初始化器，但函数导出当前状态...我看不到它们:(
我能做什么？请帮忙！
【问题讨论】：
标签： serialization random ocaml standard-library
您可以使用Marshal 模块对状态进行序列化（和反序列化），例如，
let save_random_state out =
Marshal.to_channel out (Random.get_state ()) []
let load_random_state inp =
Random.set_state (Marshal.from_channel inp)
但是，如果您只是希望Random 模块生成相同的伪随机数序列，则最好使用相同的状态进行初始化，即使用相同的种子，例如，如果您将启动您的程序与，
let () = Random.set_state (Random.State.make [|42|])
您将获得程序的确定性行为，因为Random 模块将始终生成相同的数字。
【讨论】：
s |> Marshal.to_string |> Z.of_bits 以将该状态转换为 Zarith 大整数。相当多的工作，但可以理解。谢谢。
Random.set_state 并将您的状态放在那里。如果您的状态（又名种子）表示为 Z.t 数字，则将其转换为字节数组并将此数组用作种子。
Random.state to Z.t 不是一个好主意。动态类型的救援:) 我的 Prolog 的 random:setrand/1 谓词将同时使用 Prolog 原子（用于精确表示 Random.States）和 Prolog 数字（整数/浮点数）；第一个可以精确复制以前的状态，后者是为了方便（以亚秒精度的 UNIX 时间播种）。谢谢！