Re: [Caml-list] Status and schedule of the 4.03.0 release

["François Bobot" <francois.bobot@cea.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