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 708197FFB5 for ; Fri, 11 Mar 2016 16:09:44 +0100 (CET) IronPort-PHdr: 9a23:3tNzkxNWbU03gmX2oNgl6mtUPXoX/o7sNwtQ0KIMzox0KPX8rarrMEGX3/hxlliBBdydsKIbzbqH+P6xEUU7or+/81k6OKRWUBEEjchE1ycBO+WiTXPBEfjxciYhF95DXlI2t1uyMExSBdqsLwaK+i760zceF13FOBZvIaytQ8iJ35vxh7H5pcybSj4LrQT+SIs6FA+xowTVu5teqqpZAYF19CH0pGBVcf9d32JiKAHbtR/94sCt4MwrqHwI6LoJvvRNWqTifqk+UacQTHF/azh0t4XXskzySheG4zM2W38QlQsAVxnC8Bj/VJ7rtCzrnuV40Siee8bxSOZndy6l6vJJRQTwhT1PEzkk8Xqfo8p8gbhArRTp8x5y2JbZeseRM+d/ZeXUe98XX3FMWO5eUiVABsW3aI5ZXLlJBvpRs4So/whGlhC5HwT5Qbq3kjI= Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=jesper.louis.andersen@gmail.com; spf=Pass smtp.mailfrom=jesper.louis.andersen@gmail.com; spf=None smtp.helo=postmaster@mail-wm0-f49.google.com Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of jesper.louis.andersen@gmail.com) identity=pra; client-ip=74.125.82.49; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="jesper.louis.andersen@gmail.com"; x-sender="jesper.louis.andersen@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of jesper.louis.andersen@gmail.com designates 74.125.82.49 as permitted sender) identity=mailfrom; client-ip=74.125.82.49; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="jesper.louis.andersen@gmail.com"; x-sender="jesper.louis.andersen@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-wm0-f49.google.com) identity=helo; client-ip=74.125.82.49; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="jesper.louis.andersen@gmail.com"; x-sender="postmaster@mail-wm0-f49.google.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: A0DTAAB13uJWkjFSfUpdg1yBIQaoHY94gg8BDYFthg0CgSgHOBQBAQEBAQEBARABAQEBBwsLCSEvgi2CFQEBAwESER0BGwkUAQMBCwYFBAc3AgIhAQERAQUBHAYTIodsAQMKCKAZgTE+MYs2gWqCV4VJChknDVGDbgEBAQEGAQEBAQEBFAEFCgWKS4I9hH2BOgWXQ4wHgXWPAocghhMRHoEPHgEBgjgegVE7LopRAQEB X-IPAS-Result: A0DTAAB13uJWkjFSfUpdg1yBIQaoHY94gg8BDYFthg0CgSgHOBQBAQEBAQEBARABAQEBBwsLCSEvgi2CFQEBAwESER0BGwkUAQMBCwYFBAc3AgIhAQERAQUBHAYTIodsAQMKCKAZgTE+MYs2gWqCV4VJChknDVGDbgEBAQEGAQEBAQEBFAEFCgWKS4I9hH2BOgWXQ4wHgXWPAocghhMRHoEPHgEBgjgegVE7LopRAQEB X-IronPort-AV: E=Sophos;i="5.24,320,1454972400"; d="scan'208,217";a="168202200" Received: from mail-wm0-f49.google.com ([74.125.82.49]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 11 Mar 2016 16:09:43 +0100 Received: by mail-wm0-f49.google.com with SMTP id n186so22796437wmn.1 for ; Fri, 11 Mar 2016 07:09:43 -0800 (PST) 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; bh=jClj/W7JnJV/hxDrvOW5WUFVQ7xDVQWI331o3BozzOY=; b=XccIxb9Ne+sVSn8cPcfA6QoL3T5nZAvBnJEBLmkf1ppxoCpJb1WO999CubzXtoNlSm TfTPnSQWMsbd8Cm1k++m6BOPkKziDVyB+kSRT9buejOVimVEjWwd8hMKUYMIzaMC/kXm j1rs5FIFlhGopRjGmTiq7fSdnFR1pty0XF2u7EkRBsEzYotdlR1Zim/cB+9wSc3jC1m1 Y6I+5UhFPRJdTEPBOeRD/cpvPVavZKNkyizCNh5qhOBR7BzfoZuA+xogH/0sUGXGUvOy /2P9XEVQPlQGG6Pww+HMu5p+6JAEfro2WA9h/XHDS4/4Y4VRFDqGRHQeMvSmE8oVyA8e dl2Q== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20130820; h=x-gm-message-state:mime-version:in-reply-to:references:from:date :message-id:subject:to:cc; bh=jClj/W7JnJV/hxDrvOW5WUFVQ7xDVQWI331o3BozzOY=; b=j5EQ6X7pKCGpEShZDH04qHRbxrZgqm/FImWg5Ax7tG/5X3EqtpMj8gTIrO4lcPikeg J5/YRiAyTzFSBQHn04eOh3Isz1aWZouolweO08D6kRpEOXcFnj+5JncwdEUzM/Kycj/w A9bl4j0QJUf6vpax03VRaKwayMTVj3mhPFDt8iIM1cv7vEf6lOq/i37jcONgTLbd7Cyk e7uyRd4rgzLqK7rkDfAQ+DEllV9Qa9+/1JGUCQqCQPwGhciAjjGxp4J3MMjGBumPI5xR pM7csS1+4c0ZYTD1o7lr2gJMgcDD2piFkLhIpbFs6yWIWBD+aQKLn+RxdT5qmNwDgF4Q NG0g== X-Gm-Message-State: AD7BkJIWzkHA00GMo1dqJ/ZaVxtghLplZqG1G93a5eFtuU/5PEjSuDgwOjl6HEZlwO9EKzb4lOgWJzXD3VQ9NQ== X-Received: by 10.28.139.147 with SMTP id n141mr3552678wmd.53.1457708983238; Fri, 11 Mar 2016 07:09:43 -0800 (PST) MIME-Version: 1.0 Received: by 10.28.144.212 with HTTP; Fri, 11 Mar 2016 07:09:03 -0800 (PST) In-Reply-To: References: <56DF57FA.9070309@lexifi.com> <56E1D523.7000701@laposte.net> <1457650315.13223.42.camel@e130.lan.sumadev.de> <56E28B5F.2030002@lexifi.com> From: Jesper Louis Andersen Date: Fri, 11 Mar 2016 16:09:03 +0100 Message-ID: To: Yotam Barnoy Cc: Mark Shinwell , Alain Frisch , Gerd Stolpmann , Pierre Chambart , Markus Mottl , OCaml List Content-Type: multipart/alternative; boundary=001a114450b221c66d052dc75273 Subject: Re: [Caml-list] Re: Status of Flambda in OCaml 4.03 --001a114450b221c66d052dc75273 Content-Type: text/plain; charset=UTF-8 On Fri, Mar 11, 2016 at 3:48 PM, Yotam Barnoy wrote: > Another question: how will 4.03 be handled with regard to OPAM? The way I > see it, the majority of users will want Flambda activated by default. > Companies or individuals that depend on OCaml for their business will > probably want to start off with Flambda turned off, and turn it on as > needed. Additionally, to get Flambda tested by as many people as possible, > I believe we want people to use it by default. One of the (many) things I think is done right in OPAM is the `opam switch ...` framework, so you can have multiple compilers installed easily and handle them on a simple switching framework. Operationally, I'd put it on an Ocaml 4.03+flambda and then in point-release .1 or .2 I'd make it the default once it has seen some use by the early adopters, having an ocaml 4.03+no-flambda option for those who are behind on schedule. This would allow people to gracefully roll forward one release, and gracefully roll backward once the switch happens which lessens the strain on a lot of stuff operationally. The more risky alternative is to just make flambda the default in 4.03 and have a no-flambda option for those in the know, but this risks introducing regressions at a greater extent and should be balanced by the knowledge of how stable flambda has proven to be. If, for instance, it has seen major use inside Janes St. for some time and has been generally stable, this is a far more viable option. -- J. --001a114450b221c66d052dc75273 Content-Type: text/html; charset=UTF-8 Content-Transfer-Encoding: quoted-printable

= On Fri, Mar 11, 2016 at 3:48 PM, Yotam Barnoy <yotambarnoy@gmail.com> wrote:
Another question: ho= w will 4.03 be handled with regard to OPAM? The way I see it, the majority = of users will want Flambda activated by default. Companies or individuals t= hat depend on OCaml for their business will probably want to start off with= Flambda turned off, and turn it on as needed. Additionally, to get Flambda= tested by as many people as possible, I believe we want people to use it b= y default.

One of the (many) things I think is done r= ight in OPAM is the `opam switch ...` framework, so you can have multiple c= ompilers installed easily and handle them on a simple switching framework.<= /div>

Operat= ionally, I'd put it on an Ocaml 4.03+flambda and then in point-release = .1 or .2 I'd make it the default once it has seen some use by the early= adopters, having an ocaml 4.03+no-flambda option for those who are behind = on schedule. This would allow people to gracefully roll forward one release= , and gracefully roll backward once the switch happens which lessens the st= rain on a lot of stuff operationally.

<= /div>
The more risky alternative is to just make = flambda the default in 4.03 and have a no-flambda option for those in the k= now, but this risks introducing regressions at a greater extent and should = be balanced by the knowledge of how stable flambda has proven to be. If, fo= r instance, it has seen major use inside Janes St. for some time and has be= en generally stable, this is a far more viable option.



--
J.
--001a114450b221c66d052dc75273--