caml-list - the Caml user's mailing list
 help / color / mirror / Atom feed
From: "François Pottier" <>
To: OCaML Mailing List <>
Subject: [Caml-list] [ANN] New release of Fix (20211125)
Date: Fri, 26 Nov 2021 09:07:24 +0100	[thread overview]
Message-ID: <> (raw)

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 update
   opam install fix.20211125

Documentation can be found here:


François Pottier

## 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 
   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 
confusion in
   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`.

                 reply	other threads:[~2021-11-26  8:07 UTC|newest]

Thread overview: [no followups] expand[flat|nested]  mbox.gz  Atom feed

Reply instructions:

You may reply publicly to this message via plain-text email
using any one of the following methods:

* Save the following mbox file, import it into your mail client,
  and reply-to-all from there: mbox

  Avoid top-posting and favor interleaved quoting:

* Reply using the --to, --cc, and --in-reply-to
  switches of git-send-email(1):

  git send-email \ \ \ \
    --subject='Re: [Caml-list] [ANN] New release of Fix (20211125)' \

* If your mail client supports setting the In-Reply-To header
  via mailto: links, try the mailto: link

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