caml-list - the Caml user's mailing list
 help / Atom feed
From: François Pottier <francois.pottier@inria.fr>
To: OCaML Mailing List <caml-list@inria.fr>
Subject: [Caml-list] [ANN] New release of Fix (20211125)
Date: Fri, 26 Nov 2021 09:07:24 +0100
Message-ID: <22e3ceaf-8322-3b0a-73fe-5be28b560ca0@inria.fr> (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
circumstances.

   opam update
   opam install fix.20211125

Documentation can be found here:

   https://gitlab.inria.fr/fpottier/fix/-/blob/master/README.md
   http://cambium.inria.fr/~fpottier/fix/doc/fix/Fix/index.html

Enjoy,

--
François Pottier
francois.pottier@inria.fr
http://cambium.inria.fr/~fpottier/

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

                 reply index

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

Reply instructions:

You may reply publically 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:
  https://en.wikipedia.org/wiki/Posting_style#Interleaved_style

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

  git send-email \
    --in-reply-to=22e3ceaf-8322-3b0a-73fe-5be28b560ca0@inria.fr \
    --to=francois.pottier@inria.fr \
    --cc=caml-list@inria.fr \
    /path/to/YOUR_REPLY

  https://kernel.org/pub/software/scm/git/docs/git-send-email.html

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

caml-list - the Caml user's mailing list

Archives are clonable: git clone --mirror https://inbox.ocaml.org/caml-list

AGPL code for this site: git clone https://public-inbox.org/ public-inbox