From: "François Bobot" <francois.bobot@cea.fr>
To: caml-list@inria.fr
Subject: Re: [Caml-list] Status and schedule of the 4.03.0 release
Date: Fri, 27 Nov 2015 17:22:32 +0100 [thread overview]
Message-ID: <56588348.3090400@cea.fr> (raw)
In-Reply-To: <565874B9.6050108@libertysurf.fr>
On 27/11/2015 16:20, William wrote:
> I understand that Ephemerons and flambda are optimisations, though
> having some examples would be nice.
Ephemerons are not just optimization. They extend the expressivity in the same way that if you start
with only disjunction, adding conjunction extend the expressivity of the formula you can write.
More practically, they allow to define really weak hashtable where a data is kept by the hashtable
only if the keys _and_ the hashtable are alive.
You can look at the different interfaces given in the standard library at
https://github.com/bobot/ocaml/blob/feature/ephemerons/stdlib/ephemeron.mli .
Some slides about them:
https://ocaml.org/meetings/ocaml/2014/ocaml2014_2.pdf
The merge-request is at https://github.com/ocaml/ocaml/pull/22.
However the merge-request also add some fixes in the implementation of weak arrays, you have nothing
to do to take advantage of them.
Hope it's clear,
Best,
--
François
prev parent reply other threads:[~2015-11-27 16:22 UTC|newest]
Thread overview: 3+ messages / expand[flat|nested] mbox.gz Atom feed top
2015-11-27 13:06 Damien Doligez
2015-11-27 15:20 ` William
2015-11-27 16:22 ` François Bobot [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=56588348.3090400@cea.fr \
--to=francois.bobot@cea.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;
as well as URLs for NNTP newsgroup(s).