【文件属性】：
文件名称：ocaml-fstreams:函数式惰性流
文件大小：58KB
文件格式：ZIP
更新时间：2021-06-20 02:22:13
OCaml
Fstreams - 功能性的惰性流
一个非常标准的无限数据结构是流，它懒惰地确定其当前和下一个值，甚至它们是否存在！ 这种数据结构对于描述逐步生成和消耗的计算非常有用，并且是许多惰性算法的强大基础工具。
该模块包括两个子模块，Infinite 和 Finite。 无限流是保证始终具有下一个值的流，而有限流是可以终止但没有义务终止的流。
在数学上，无限流是函子 FX = A * X 的最大不动点，而有限流是函子 FX = 1 + A * X 的最大不动点。
有关构建和安装说明，请参阅文件 。
例子
创造与消费解耦
愚蠢的惰性流技巧的标准示例是构建无限的、记忆的斐波那契数流：
open FStreams.Total
open FStreams.Total.Impl (* exposes internal implementation, sad *)
let rec fibs =
【文件预览】：
ocaml-fstreams-master
----.gitignore(41B)
----configure(363B)
----_tags(683B)
----myocamlbuild.ml(17KB)
----opam(526B)
----Makefile(750B)
----src()
--------void.ml(206B)
--------META(318B)
--------fstreams.mlpack(110B)
--------void.mli(729B)
--------option.ml(669B)
--------.merlin(3B)
--------total.ml(2KB)
--------fstreams.mllib(93B)
--------fstreams.mldylib(93B)
--------partial.mli(7KB)
--------partial.ml(4KB)
--------total.mli(6KB)
--------option.mli(345B)
----.travis.yml(203B)
----.merlin(18B)
----setup.ml(172KB)
----_oasis(763B)
----INSTALL.txt(771B)
----descr(726B)
----README.md(3KB)
----fstreams_api.odocl(115B)
----AUTHORS.txt(57B)