package fix

CHANGES

2022/01/21

• The functor Memoize.Make now requires just MINIMAL_IMPERATIVE_MAPS instead of IMPERATIVE_MAPS, which was needlessly strong.

• The functor Glue.WeakHashTablesAsImperativeMaps now provides only MINIMAL_IMPERATIVE_MAPS instead of IMPERATIVE_MAPS. This change is made for compatibility with the new ephemeron API in OCaml 5.

2021/12/31

• Improved documentation.

2021/11/25

• The new module CompactQueue offers a minimalist mutable FIFO queue. It is comparable with OCaml's Queue module. In comparison with Queue, it uses a more compact internal representation: elements are stored contiguously in a circular array. This has a positive impact on performance: both time and memory consumption are reduced. This data structure is optimized for maximum throughput. (Contributed by Frédéric Bour, reviewed by François Pottier.)

• The new functor DataFlow.ForCustomMaps offers a forward data flow analysis that is tuned for greater performance. (Contributed by Frédéric Bour, reviewed by François Pottier.)

• The new module Indexing offers a safe API for manipulating indices into fixed-size arrays. This API involves some dynamic checks as well as static type checks, thereby (hopefully) greatly reducing the risk of confusion in code that uses many arrays and many indices into these arrays. (Contributed by Frédéric Bour, reviewed by François Pottier.)

• In DataFlow, allow the function foreach_root (which is part of the signature DATA_FLOW_GRAPH) to call contribute x _ several times at a single root x.

2020/11/20

• New module DataFlow, which performs a forward data flow analysis over a directed graph. (Such a computation could previously be performed by using the generic solver Fix.Make, but it was somewhat awkward to write, as it required access to predecessors. The new algorithm is easier to use and is more efficient.)

• In Memoize, new combinator curried, which can be used in combination with fix or defensive_fix. Thus, for instance, curried fix is a fixed point combinator that constructs a memoizing two-argument curried function.

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/12/06

• 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.