From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by sympa.inria.fr (Postfix) with ESMTPS id 43A927F108 for ; Fri, 27 Nov 2015 16:21:48 +0100 (CET) IronPort-PHdr: 9a23:4O1mrRAtwAXHuuzzeSGBUyQJP3N1i/DPJgcQr6AfoPdwSP74p8bcNUDSrc9gkEXOFd2CrakU1qyG6Ou5AyQp2tWojjMrSNR0TRgLiMEbzUQLIfWuLgnFFsPsdDEwB89YVVVorDmROElRH9viNRWJ+iXhpQAbFhi3DwdpPOO9QteU1JTqkbDpsMSJKyxzxxODIppKZC2sqgvQssREyaBDEY0WjiXzn31TZu5NznlpL1/A1zz158O34YIxu38I46FppIZ8VvDxdqE8CLhZFygOMmYv5cStuwOQYxGI4y4jU2ESkxNNS1zfqkrSWpb7vzHmp/FgwifcM9egHuN8Yiir86o+EEygsywALTNsqGw= Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=r.3@libertysurf.fr; spf=None smtp.mailfrom=r.3@libertysurf.fr; spf=None smtp.helo=postmaster@smtp2-g21.free.fr Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of r.3@libertysurf.fr) identity=pra; client-ip=212.27.42.2; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="r.3@libertysurf.fr"; x-sender="r.3@libertysurf.fr"; x-conformance=sidf_compatible Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of r.3@libertysurf.fr) identity=mailfrom; client-ip=212.27.42.2; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="r.3@libertysurf.fr"; x-sender="r.3@libertysurf.fr"; x-conformance=sidf_compatible Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of postmaster@smtp2-g21.free.fr) identity=helo; client-ip=212.27.42.2; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="r.3@libertysurf.fr"; x-sender="postmaster@smtp2-g21.free.fr"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: A0BaAAABdFhWnAIqG9RehA5wqw4GkxeBZCGFbgKBOToSAQEBAQEBAQEQAQEBAQEGDQkJIS6CLYIIAQEEOEARCxgJFg8JAwIBAgFFEwgCiCoECb1jhg2FRYUnhBIFlleBYI0zgUGGBIpohGeDcigKgliBXoZDAQEB X-IPAS-Result: A0BaAAABdFhWnAIqG9RehA5wqw4GkxeBZCGFbgKBOToSAQEBAQEBAQEQAQEBAQEGDQkJIS6CLYIIAQEEOEARCxgJFg8JAwIBAgFFEwgCiCoECb1jhg2FRYUnhBIFlleBYI0zgUGGBIpohGeDcigKgliBXoZDAQEB X-IronPort-AV: E=Sophos;i="5.20,352,1444687200"; d="scan'208";a="155370252" Received: from smtp2-g21.free.fr ([212.27.42.2]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/ADH-AES256-GCM-SHA384; 27 Nov 2015 16:21:47 +0100 Received: from [172.16.79.17] (unknown [143.196.127.2]) (Authenticated sender: r.3) by smtp2-g21.free.fr (Postfix) with ESMTPSA id AA82A4B00F1 for ; Fri, 27 Nov 2015 16:21:13 +0100 (CET) Message-ID: <565874B9.6050108@libertysurf.fr> Date: Fri, 27 Nov 2015 16:20:25 +0100 From: William User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:31.0) Gecko/20100101 Icedove/31.8.0 MIME-Version: 1.0 To: caml-list@inria.fr References: In-Reply-To: Content-Type: text/plain; charset=windows-1252; format=flowed Content-Transfer-Encoding: 7bit Subject: Re: [Caml-list] Status and schedule of the 4.03.0 release Hello, Thanks for this upcoming update. Do you have some (short) explanations on the benefits and how to use those new features ? found this for named constructor, looks nice : http://www.lexifi.com/blog/inlined-records-constructors what about compiler annotations ? I understand that Ephemerons and flambda are optimisations, though having some examples would be nice. Should we change some coding practices to take advantage of those improvements ? Best regards, William On 27/11/2015 14:06, Damien Doligez wrote: > Dear OCaml users, > > Here is a summary of what's going on with the next release of OCaml: > > We had a developer meeting on Nov 18 to decide which features will > go into the next release. As far as large features are concerned, > the set is now fixed. In addition to what's already in the Changes > file, we'll have: > > - named constructor arguments (aka inline records) > - compiler annotations for performance (@tailcall @inline @unbox @noalloc...) > - flambda: major changes in the compiler pipeline > - GC improvements: no more large GC pause times > - Ephemerons: a generalization of weak pointers > - Ocamlbuild: spin off as an independent project > > Note that, while they are still in Changes at the moment, we > have decided to remove the user-defined indexing operators > ( .() .()<- etc. ) for the moment, because they clash with > another planned feature. They will probably be back in some > form in 4.04. > > Our planned schedule is as follows: > - December: merging features > - December 20: end of merge window, creation of 4.03 branch, > beta version. > - January: debugging > - early February: release > > We are also planning to release an alpha version of the multicore > system as an OPAM switch shortly after the 4.03.0 release. > > We are working hard on this release, and we need the cooperation of > all OCaml programmers, especially library authors: test your code on > trunk, adapt to the (few) incompatible changes, report bugs as early > as you can. > > Happy hacking, > > -- Damien > >