package fstreams

  1. Overview
  2. Docs
Functional, lazy, infinite streams.

Install

Dune Dependency

Authors

Maintainers

Sources

0.2.1.tar.gz
sha256=1aa19a9c7651b81510d3f9c06f4928545ba3db5e4e79748e7908bf530c899e0a
md5=3564f973697f3ba032d39e02db56e8ba

Description

A very standard infinite data structure is the stream which lazily determines its current and next values and even whether they exist or not! This data structure is useful for describing computations which are generated and consumed step-by-step and is a powerful basic tool for many lazy algorithms.

Included in this module are two submodules, Infinite and Finite. Infinite streams are streams which are guaranteed to always have a next value and Finite streams are streams which may terminate but are not obliged to.

Mathematically, Infinite streams are the greatest fixed point of the functor F X = A * X and Finite streams are the greatest fixed point of the functor F X = 1 + A * X.

Published: 18 Feb 2015

Dependencies (3)

  1. ocamlbuild build
  2. ocamlfind build
  3. ocaml < "5.0"

Dev Dependencies

None

Used by

None

Conflicts

None

OCaml

Innovation. Community. Security.