From: "François Pottier" <francois.pottier@inria.fr>
To: caml users <caml-list@inria.fr>
Subject: [Caml-list] Announcing Sek, an efficient implementation of sequences
Date: Sat, 4 Apr 2020 12:11:51 +0200 [thread overview]
Message-ID: <e3069702-85bd-73a5-8ae0-8b6459f856cf@inria.fr> (raw)
Fellow OCaml users,
We are pleased to announce the first release of Sek, an OCaml library that
offers an efficient implementation of sequences.
The library offers both ephemeral (mutable) sequences and persistent
(immutable) sequences, and offers constant-time conversions between these
flavors.
It supports all of the standard operations on stacks, queues, deques (e.g.
push, pop at either end), catenable sequences (concat, split), and random
access sequences (get, set).
Data is stored internally in chunks (fixed-capacity arrays),
which is why this data structure is known as a chunK SEquence.
It is intended to achieve excellent time complexity and memory usage.
This is an initial release. The library has not been tested in production,
but has received extensive unit testing, via afl-fuzz and ocaml+afl --
which are remarkably effective tools, by the way!
This is work in progress; more features, such as iterators, will be added
in the future.
To install Sek, just type
opam update && opam install sek
Documentation is at
http://cambium.inria.fr/~fpottier/sek/doc/sek/Sek/index.html
Feedback is welcome!
--
Arthur Charguéraud
François Pottier
with contributions by Émilie Guermeur
next reply other threads:[~2020-04-04 10:11 UTC|newest]
Thread overview: 7+ messages / expand[flat|nested] mbox.gz Atom feed top
2020-04-04 10:11 François Pottier [this message]
2020-04-04 13:17 ` Gabriel Scherer
2020-04-04 13:29 ` orbifx
2020-04-04 13:56 ` Gabriel Scherer
2020-04-04 14:04 ` orbifx
2020-04-07 22:06 ` Gerd Stolpmann
2020-04-05 11:35 ` François Pottier
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:
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=e3069702-85bd-73a5-8ae0-8b6459f856cf@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
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox