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 mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by sympa.inria.fr (Postfix) with ESMTPS id 6059F7ED99 for ; Thu, 14 May 2015 23:21:21 +0200 (CEST) Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of gabriel.scherer@gmail.com) identity=pra; client-ip=209.85.223.179; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="gabriel.scherer@gmail.com"; x-sender="gabriel.scherer@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of gabriel.scherer@gmail.com designates 209.85.223.179 as permitted sender) identity=mailfrom; client-ip=209.85.223.179; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="gabriel.scherer@gmail.com"; x-sender="gabriel.scherer@gmail.com"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of postmaster@mail-ie0-f179.google.com) identity=helo; client-ip=209.85.223.179; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="gabriel.scherer@gmail.com"; x-sender="postmaster@mail-ie0-f179.google.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: A0ApAgBfEVVVlLPfVdFCGoNjXgaDGLJ0jjSCC4V2AoE+BzwQAQEBAQEBAREBAQEBBwsLCR8whCIBAQEDARIRHQEbEgsBAwELBgUEBw0NHQICIgERAQUBChIGExIQh3QBAwoIDTqkEj4xiziBa4J4mhEKGScDCleEGgEBAQEBBQEBAQEBAQEVAQUOiyyFAQQHgmiBRQWFRAqROoZKgWWTShIjgQwJggmCEzwxAYJFAQEB X-IPAS-Result: A0ApAgBfEVVVlLPfVdFCGoNjXgaDGLJ0jjSCC4V2AoE+BzwQAQEBAQEBAREBAQEBBwsLCR8whCIBAQEDARIRHQEbEgsBAwELBgUEBw0NHQICIgERAQUBChIGExIQh3QBAwoIDTqkEj4xiziBa4J4mhEKGScDCleEGgEBAQEBBQEBAQEBAQEVAQUOiyyFAQQHgmiBRQWFRAqROoZKgWWTShIjgQwJggmCEzwxAYJFAQEB X-IronPort-AV: E=Sophos;i="5.13,431,1427752800"; d="scan'208";a="121269875" Received: from mail-ie0-f179.google.com ([209.85.223.179]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/RC4-SHA; 14 May 2015 23:21:20 +0200 Received: by iepk2 with SMTP id k2so70781948iep.3; Thu, 14 May 2015 14:21:18 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=mime-version:in-reply-to:references:from:date:message-id:subject:to :cc:content-type; bh=D0UqoApVdGHkHbW7XkaSbZpphcLIJ5ln7uJXWmoEKck=; b=VYgXCtAXXEbvjSSq9gGPM9emg9x3FzHbakuA0p2wQ+zI4h1TiPMmOOBOEgkYdPa8r2 X44SOJmq2r49Wy3+3sMjbmZ5e2Q756D/1X4n6mKLBZ0XIdBzvHgJLzt2YQ9ZOuOcSZPZ O71yXLO8qUITRwzoPdmRJUpaDen9axTcARWe4gK84W8hAx5nR9IyhWJR4Mr7XaP0gxnF DkzxsOK7BgpHCYwQ3b5HaY+0R/Pe1Fn/RuanBOqtUtaOlCqw7yqAzKk3PLKy3fZvcXtj kyy33l3LtoI9KNV8hRIw9J60tuAuJmxrjh08JJqvnmbpTynkTlHvwa/H1DacskCVChh/ HC+Q== X-Received: by 10.42.204.14 with SMTP id fk14mr16679925icb.96.1431638478805; Thu, 14 May 2015 14:21:18 -0700 (PDT) MIME-Version: 1.0 Received: by 10.79.70.4 with HTTP; Thu, 14 May 2015 14:20:38 -0700 (PDT) In-Reply-To: References: From: Gabriel Scherer Date: Thu, 14 May 2015 23:20:38 +0200 Message-ID: To: Damien Doligez Cc: Jonas Jensen , caml users Content-Type: multipart/alternative; boundary=20cf30363b93f9e04d0516114e0c Subject: Re: [Caml-list] OCaml release roadmap --20cf30363b93f9e04d0516114e0c Content-Type: text/plain; charset=UTF-8 Note that the readability benefits of inline records on value-manipulating code can already be reaped by just using variant constructors with only one argument, a record. The feature is more of an optimization of the memory representation of this case (won't matter much for most applications) -- and also, admittedly, the readability of the type declaration. Its future availability could be taken as a mere encouragement to use this style already today. On Thu, May 14, 2015 at 10:51 PM, Damien Doligez wrote: > On Wed, May 13, 2015 at 9:20 AM, Jonas Jensen wrote: > > > Is there a good reason not to release current trunk as 4.03 soon? > > Manpower is one such reason. Also, we like to thoroughly test our > code before we release it. And there are several important features > in the works. > > > According to http://caml.inria.fr/mantis/view.php?id=5528, the "Inline > > records for constructor arguments" feature has been merged to trunk. I > > think this is a huge improvement to the language that will improve > > code readability for at lot of projects. > > I see it as a rather small feature. It's not in the same league as GADTs > or Modular Implicits, for example. > > > An end-of-year release seems > > very far away, especially if the release date slips because multicore > > support is such a disruptive change. > > I know our release schedule is rather slow, but OCaml is a really > complex system and we like to think things through before we > release, and this has already saved us from several bad design > decisions. > > -- Damien > > -- > Caml-list mailing list. Subscription management and archives: > https://sympa.inria.fr/sympa/arc/caml-list > Beginner's list: http://groups.yahoo.com/group/ocaml_beginners > Bug reports: http://caml.inria.fr/bin/caml-bugs > --20cf30363b93f9e04d0516114e0c Content-Type: text/html; charset=UTF-8 Content-Transfer-Encoding: quoted-printable
Note that the readability benefits of inline records on va= lue-manipulating code can already be reaped by just using variant construct= ors with only one argument, a record. The feature is more of an optimizatio= n of the memory representation of this case (won't matter much for most= applications) -- and also, admittedly, the readability of the type declara= tion. Its future availability could be taken as a mere encouragement to use= this style already today.

On Thu, May 14, 2015 at 10:51 PM, Damien Doligez <damien.doligez@inria.fr> wrote:
On Wed, May 13, 2015 at 9:20 AM, Jonas Jensen <jj@issuu.com> wrote:

> Is there a good reason not to release current trunk as 4.03 soon?

Manpower is one such reason. Also, we like to thoroughly test our
code before we release it. And there are several important features
in the works.

> According to http://caml.inria.fr/mantis/view.php?id=3D5528, the= "Inline
> records for constructor arguments" feature has been merged to tru= nk. I
> think this is a huge improvement to the language that will improve
> code readability for at lot of projects.

I see it as a rather small feature. It's not in the same league = as GADTs
or Modular Implicits, for example.

> An end-of-year release seems
> very far away, especially if the release date slips because multicore<= br> > support is such a disruptive change.

I know our release schedule is rather slow, but OCaml is a really
complex system and we like to think things through before we
release, and this has already saved us from several bad design
decisions.

-- Damien

--
Caml-list mailing list.=C2=A0 Subscription management and archives:
ht= tps://sympa.inria.fr/sympa/arc/caml-list
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
Bug reports: http://caml.inria.fr/bin/caml-bugs

--20cf30363b93f9e04d0516114e0c--