package fix

  1. Overview
  2. Docs
Facilities for memoization and fixed points

Install 

dune-project
 Dependency

gitlab.inria.fr Readme Changelog Edit opam file Versions (10)

Authors

  1. F
    François Pottier <francois.pottier@inria.fr>

Maintainers

  1. F
    francois.pottier@inria.fr

Sources

archive.tar.gz
md5=991ff031666c662eaab638d2e0f4ac1d
sha512=01c45a1d90b02ec0939e968b185a6a373ac6117e2287b9a26d3db9d71e9569d086cea50da60710fcab5c2ed9d3b4c72b76839c0651e436f1fb39c77dc7c04b5e

doc/CHANGES.html

CHANGES

2020/01/31

  • In Gensym, new abstract type generator, with three functions generator, fresh, and current.
  • In Memoize, new function visibly_memoize, which not only returns a memoized function, but also provides outside access to the memoization table.
  • New signatures ONGOING_NUMBERING and TWO_PHASE_NUMBERING and new module Numbering, which provides facilities for numbering things.
  • Breaking change: the module Fix.Number is renamed Fix.GraphNumbering.

2018/11/30

  • New release, including new modules (Gensym, Memoize, Tabulate, Number, HashCons, Prop, Glue), new convenience functors (Fix.ForHashedType, etc.), and new demos. The least-fixed-point computation algorithm is unchanged.

2013/06/11

  • Initial release of the package, containing just Fix.Make, the least-fixed-point computation algorithm.