Mailing list for all users of the OCaml language and system.
 help / color / mirror / Atom feed
From: "François Pottier" <francois.pottier@inria.fr>
To: "Gabriel Scherer" <gabriel.scherer@gmail.com>,
	"Arthur Charguéraud" <arthur@chargueraud.org>
Cc: caml users <caml-list@inria.fr>
Subject: Re: [Caml-list] Announcing Sek, an efficient implementation of sequences
Date: Sun, 5 Apr 2020 13:35:39 +0200	[thread overview]
Message-ID: <4a78a1d5-9156-b9d9-89db-8f051f069b51@inria.fr> (raw)
In-Reply-To: <CAPFanBH3e5Kbj6+vpzexqDPCaUEy3Vqm6iyBdkDNoHFagv8F5w@mail.gmail.com>


Hi Gabriel,

Thanks for your remarks; I have made a few improvements to the documentation
based on your remarks. In particular, the default value of T is 
currently 64.

On 04/04/2020 15:17, Gabriel Scherer wrote:
> 6. Your _and_clear specification avoids any undefined or
> surprising/undocumented behavior in the case that happens, but it may still
> hide my programming mistake.

This is true. We debated various options (described in NOTES.md) but 
chose the
version whose specification is simplest (no undefined behavior, no 
exception).
Because we would prefer to avoid offering many variants of each 
operation, we
will probably keep things this way.

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

      parent reply	other threads:[~2020-04-05 11:36 UTC|newest]

Thread overview: 7+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2020-04-04 10:11 François Pottier
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 [this message]

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=4a78a1d5-9156-b9d9-89db-8f051f069b51@inria.fr \
    --to=francois.pottier@inria.fr \
    --cc=arthur@chargueraud.org \
    --cc=caml-list@inria.fr \
    --cc=gabriel.scherer@gmail.com \
    /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