From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@sympa.inria.fr Delivered-To: caml-list@sympa.inria.fr Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by sympa.inria.fr (Postfix) with ESMTPS id 62CA47F108 for ; Fri, 27 Nov 2015 17:22:33 +0100 (CET) IronPort-PHdr: 9a23:99SuIRyD/0XFo/HXCy+O+j09IxM/srCxBDY+r6Qd0e4WIJqq85mqBkHD//Il1AaPBtWGraIfwLCK+4nbGkU+or+5+EgYd5JNUxJXwe43pCcHRPC/NEvgMfTxZDY7FskRHHVs/nW8LFQHUJ2mPw6anHS+4HYoFwnlMkItf6KuStOU35/8jbz60qaQSjsLrQL1Wal1IhSyoFeZnegtqqwmFJwMzADUqGBDYeVcyDAgD1uSmxHh+pX4p8Y7oGwD884mosVJVKG/e6UjUZRZCi4nOiY7/p7Frx7GGCWV732TVWQNpTBPCQ/ZpEX0RJ73uSz7rax33yOdIeX9QLlyVy70vPQjcwPhlCpSb21xy2rQkMEl1K8= Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=francois.bobot@cea.fr; spf=None smtp.mailfrom=francois.bobot@cea.fr; spf=None smtp.helo=postmaster@cirse-out.extra.cea.fr Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of francois.bobot@cea.fr) identity=pra; client-ip=132.167.192.142; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="francois.bobot@cea.fr"; x-sender="francois.bobot@cea.fr"; x-conformance=sidf_compatible Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of francois.bobot@cea.fr) identity=mailfrom; client-ip=132.167.192.142; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="francois.bobot@cea.fr"; x-sender="francois.bobot@cea.fr"; x-conformance=sidf_compatible Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@cirse-out.extra.cea.fr) identity=helo; client-ip=132.167.192.142; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="francois.bobot@cea.fr"; x-sender="postmaster@cirse-out.extra.cea.fr"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: A0BYAABLglhWnI7Ap4RehA5vwBAjhSJGAgICgTo7EQEBAQEBAQEBEAEBAQEBCAsJCSEugi2CCAEBAgIyAQVAEQsYCRYPCQMCAQIBRRMIAogqDb0jAQoBAQEbBItShSeEEgWWV4UqkS6TQTeCU4FecYVSAQEB X-IPAS-Result: A0BYAABLglhWnI7Ap4RehA5vwBAjhSJGAgICgTo7EQEBAQEBAQEBEAEBAQEBCAsJCSEugi2CCAEBAgIyAQVAEQsYCRYPCQMCAQIBRRMIAogqDb0jAQoBAQEbBItShSeEEgWWV4UqkS6TQTeCU4FecYVSAQEB X-IronPort-AV: E=Sophos;i="5.20,352,1444687200"; d="scan'208";a="189422127" Received: from cirse-out.extra.cea.fr ([132.167.192.142]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-SHA; 27 Nov 2015 17:22:32 +0100 Received: from pisaure.intra.cea.fr (pisaure.intra.cea.fr [132.166.88.21]) by cirse.extra.cea.fr (8.15.2/8.15.2/CEAnet-Internet-out-2.4) with ESMTP id tARGMWIn031164 for ; Fri, 27 Nov 2015 17:22:32 +0100 Received: from pisaure.intra.cea.fr (localhost [127.0.0.1]) by localhost (Postfix) with SMTP id B94C2208BDE for ; Fri, 27 Nov 2015 17:29:03 +0100 (CET) Received: from muguet1.intra.cea.fr (muguet1.intra.cea.fr [132.166.192.6]) by pisaure.intra.cea.fr (Postfix) with ESMTP id A7B31208CCE for ; Fri, 27 Nov 2015 17:29:03 +0100 (CET) Received: from [10.8.32.80] (is222783.intra.cea.fr [10.8.32.80]) by muguet1.intra.cea.fr (8.15.2/8.15.2/CEAnet-Intranet-out-1.4) with ESMTP id tARGMWNW013201 for ; Fri, 27 Nov 2015 17:22:32 +0100 Message-ID: <56588348.3090400@cea.fr> Date: Fri, 27 Nov 2015 17:22:32 +0100 From: =?windows-1252?Q?Fran=E7ois_Bobot?= User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:31.0) Gecko/20100101 Icedove/31.7.0 MIME-Version: 1.0 To: caml-list@inria.fr References: <565874B9.6050108@libertysurf.fr> In-Reply-To: <565874B9.6050108@libertysurf.fr> Content-Type: text/plain; charset=windows-1252; format=flowed Content-Transfer-Encoding: 8bit Subject: Re: [Caml-list] Status and schedule of the 4.03.0 release 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