* [Caml-list] [ANN] New release of Fix (20211125)
@ 2021-11-26 8:07 François Pottier
0 siblings, 0 replies; only message in thread
From: François Pottier @ 2021-11-26 8:07 UTC (permalink / raw)
To: OCaML Mailing List
Dear OCaml users,
I am pleased to announce a new release of Fix, with several new modules
contribued by Frédéric Bour (thanks!).
In short, Fix is a toolkit that helps perform memoization and fixed point
computations (including data flow analyses). More generally, it offers a
number of basic algorithmic building blocks that can be useful in many
opam install fix.20211125
Documentation can be found here:
* The new module `CompactQueue` offers a minimalist mutable FIFO queue.
comparable with OCaml's `Queue` module. In comparison with `Queue`,
a more compact internal representation: elements are stored
a circular array. This has a positive impact on performance: both
memory consumption are reduced. This data structure is optimized for
throughput. (Contributed by Frédéric Bour, reviewed by François Pottier.)
* The new functor `DataFlow.ForCustomMaps` offers a forward data flow
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
type checks, thereby (hopefully) greatly reducing the risk of
code that uses many arrays and many indices into these arrays.
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`.
^ permalink raw reply [flat|nested] only message in thread
only message in thread, other threads:[~2021-11-26 8:07 UTC | newest]
Thread overview: (only message) (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2021-11-26 8:07 [Caml-list] [ANN] New release of Fix (20211125) François Pottier
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).