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 7FE8080211 for ; Sun, 24 Sep 2017 13:28:53 +0200 (CEST) Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=yminsky@janestreet.com; spf=Pass smtp.mailfrom=yminsky@janestreet.com; spf=None smtp.helo=postmaster@mxout1.mail.janestreet.com Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of yminsky@janestreet.com) identity=pra; client-ip=38.105.200.78; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="yminsky@janestreet.com"; x-sender="yminsky@janestreet.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of yminsky@janestreet.com designates 38.105.200.78 as permitted sender) identity=mailfrom; client-ip=38.105.200.78; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="yminsky@janestreet.com"; x-sender="yminsky@janestreet.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@mxout1.mail.janestreet.com) identity=helo; client-ip=38.105.200.78; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="yminsky@janestreet.com"; x-sender="postmaster@mxout1.mail.janestreet.com"; x-conformance=sidf_compatible IronPort-PHdr: =?us-ascii?q?9a23=3AIohlyh0QuCpb3UefsmDT+DRfVm0co7zxezQtwd8Z?= =?us-ascii?q?segUKvad9pjvdHbS+e9qxAeQG96Eu7QZ06L/iOPJZy8p2d65qncMcZhBBVcuqP?= =?us-ascii?q?49uEgeOvODElDxN/XwbiY3T4xoXV5h+GynYwAOQJ6tL3WbmHC57CYTFxPjLkI1?= =?us-ascii?q?Y72tQs+Buf+qzPi/8IH/ZABBhTz1Ie8jbUb+kQKEmsAIgIcqA6I10RzRujMcd/?= =?us-ascii?q?5fgGVlOkm7mhvg79ys9ZVgtS9XvqRy2dRHVPDLdr4/S/R9DTI9MHF9sNzutB/Y?= =?us-ascii?q?Thqn5HIaX34KiBdFH07O6xSsDcS5iTfzqucogHrSBsbxV71hHGn74g=3D=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0AEAwCMlsdZfU7IaSZcHAEBBAEBCgEBF?= =?us-ascii?q?QEBAQECAQEBAQgBAQEBgwKBEW4nB4NvgTaYZYF2gk2TXYISChgBCoUYAoQdB0A?= =?us-ascii?q?XAQEBAQEBAQEBAQESAQEJFghXQhKBXwUBHgaCOwEBAQECAQEiHQEBLAsBBAsLC?= =?us-ascii?q?wMKDR0CAiISAQUBChIGExIIigEDDQgDDZokQIsga4IngwkBAQWEHwODYgEBAQE?= =?us-ascii?q?BAQEDAQEBAQEBAQEBARYIEoMZggKBUYUPhTCCZoJgiDEMmGeHXYNciSOCbohuh?= =?us-ascii?q?yqVMhQFH4EVDxEBgUQyIQgdFUkaBoRBKoIuWoJThHSBVAEBAQ?= X-IPAS-Result: =?us-ascii?q?A0AEAwCMlsdZfU7IaSZcHAEBBAEBCgEBFQEBAQECAQEBAQg?= =?us-ascii?q?BAQEBgwKBEW4nB4NvgTaYZYF2gk2TXYISChgBCoUYAoQdB0AXAQEBAQEBAQEBA?= =?us-ascii?q?QESAQEJFghXQhKBXwUBHgaCOwEBAQECAQEiHQEBLAsBBAsLCwMKDR0CAiISAQU?= =?us-ascii?q?BChIGExIIigEDDQgDDZokQIsga4IngwkBAQWEHwODYgEBAQEBAQEDAQEBAQEBA?= =?us-ascii?q?QEBARYIEoMZggKBUYUPhTCCZoJgiDEMmGeHXYNciSOCbohuhyqVMhQFH4EVDxE?= =?us-ascii?q?BgUQyIQgdFUkaBoRBKoIuWoJThHSBVAEBAQ?= X-IronPort-AV: E=Sophos;i="5.42,431,1500933600"; d="scan'208,217";a="238527146" Received: from mxout1.mail.janestreet.com ([38.105.200.78]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-GCM-SHA384; 24 Sep 2017 13:28:52 +0200 Received: from [172.27.56.106] (helo=tot-qpr-mailcore2) by mxout1.mail.janestreet.com with esmtps (TLSv1.2:ECDHE-RSA-AES256-GCM-SHA384:256) (Exim 4.89) (envelope-from ) id 1dw55e-0004FA-JY for caml-list@inria.fr; Sun, 24 Sep 2017 07:28:50 -0400 X-JS-Flow: external X-JS-Scanner-attachment: (ok) No attachments Received: by tot-qpr-mailcore2 with ocaml/mailcore/mailcore 1.0+114 (d8ed010257c7) (envelope-from ) id BZx5by-8iBUIA-RB; 2017-09-24 07:28:50.548995-04:00 Received: from mail-ua0-f199.google.com ([209.85.217.199]) by mxgoog1.mail.janestreet.com with esmtps (TLSv1.2:ECDHE-RSA-AES128-GCM-SHA256:128) (Exim 4.89) (envelope-from ) id 1dw55e-0002U7-Gb for caml-list@inria.fr; Sun, 24 Sep 2017 07:28:50 -0400 Received: by mail-ua0-f199.google.com with SMTP id 72so4568428uas.7 for ; Sun, 24 Sep 2017 04:28:50 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=janestreet.com; s=google; h=mime-version:in-reply-to:references:from:date:message-id:subject:to :cc; bh=A1tJaT5CouXaAggFNsyVd+9QqYNhwXHjVGRI6EJD5KA=; b=sQKdIJwf1iZNwlZ5J4f7hXLUzNckLmiFm8BS0F159/9GbkSfmeq6FZh7SMVF8qb+h0 Ky9S8evjEhAMVai1qjZPh1CdFXst/TrwD+cDDXFOCAxjnm5c645t8js7yWFqir1sQ8iZ oUmv8JzcOYRsh9birmuFKlPxNcR8OEkF61l2M= X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:mime-version:in-reply-to:references:from:date :message-id:subject:to:cc; bh=A1tJaT5CouXaAggFNsyVd+9QqYNhwXHjVGRI6EJD5KA=; b=G7or6EacAkjsMfw9ucafSyrLFZDEE3LTDoMwcFRpsHBlQ7vdQHNgwhFCuzaNe+1FPi fgoCklQgjbPNKs1N0T01SV5aHTxne7YnU4p6S0XppGSJ9qgdEOF1AnH7XRMi73dRr5q+ yEMHxVtVYIHBrptnO9viSNqzs4s/NzhlmEnkALmyErLlIXEwYnsxn791oyjBw2FZTCG8 Sa6mcMhlMWwBwS20o7hJNQASEzu+47EzdmC1sGrJwk+TKoNDPb14GxB3foKVjyDPc97r XkW49oYYxbgKIfWKnqTwNhYsL67U3Pz+LJ70fwU1Ls69b2ztT3bn7Z531tXz7+e89icK 3MfA== X-Gm-Message-State: AHPjjUiC09FYiqkwLYOmubxQ8RcPstLKjCjNqt3LgElzJQXx7zjG6MUe f9gwmXf8gyar8eO5Q2p9sNKtqQ5uFZJKguXg73Cot2X+WXe/0CwU719KdRXB8x9ULga0jn/N9cy HTrkahzSBYxaWwVwdbtDOM7d3ow== X-Received: by 10.31.142.211 with SMTP id q202mr3605011vkd.164.1506252529984; Sun, 24 Sep 2017 04:28:49 -0700 (PDT) X-Google-Smtp-Source: AOwi7QDaUbfT5FHrfOQIV2DeH1ajx+9YuqEmm77hD9JjWpgIjcwoxX462Woc3WAlb0xLGxYd03KMqgKj1qQ/8FM5Xq4= X-Received: by 10.31.142.211 with SMTP id q202mr3604990vkd.164.1506252529642; Sun, 24 Sep 2017 04:28:49 -0700 (PDT) MIME-Version: 1.0 Received: by 10.159.52.2 with HTTP; Sun, 24 Sep 2017 04:28:29 -0700 (PDT) In-Reply-To: References: <41FF6520-51D5-4EB7-A8AF-6BB9C495D1E8@gmx.net> <690A132C-892E-45DC-A884-415E92054AC4@gmx.net> <03ED974A-ACAE-4EEB-AD46-FC4B863F228E@gmx.net> From: Yaron Minsky Date: Sun, 24 Sep 2017 07:28:29 -0400 Message-ID: To: David Allsopp Cc: Helmut Brandl , caml users Content-Type: multipart/alternative; boundary="001a1142fd0af8d36c0559edbe93" X-JS-Exim-Data-Received: 2017-09-24 07:28:50-0400 X-JS-Processed-by: mailcore Subject: Re: [Caml-list] Performance penalty for using monad --001a1142fd0af8d36c0559edbe93 Content-Type: text/plain; charset="UTF-8" On Sun, Sep 24, 2017 at 5:22 AM, David Allsopp wrote: > Helmut Brandl wrote: > > One more question: It seems that flambda is necessary in order to > optimize > > monadic code. Is there a plan that flambda will be included in a base > > release of ocaml? > > > > Up to now all base releases like 4.03.0, 4.04.0, etc. do not include > > flambda. I have to request the extension if I want it. > > flambda work is still ongoing (work-in-progress sounds a bit mean - it's > more that it's still evolving!) and it's not yet in a position to be > enabled by default. This is the ultimate plan, though there is no nominated > version at which we yet expect to make it the default. For what it's worth, the main blocker for us turning Flambda on by default in classic mode is getting build artifact size and compilation speed down basically to the same level as closure-compilation. We're getting pretty close to that goal, though it will take a bit more time to get the improvements in question upstreamed. So getting Flambda enabled by default isn't that far away (though most of the real benefits will require -O3, which will still lengthen compilation by quite a bit.) > > Jesper Louis Anderson wrote: > > That decoder used monads heavily as well, and flambda provided roughly > > an order of magnitude speedup (and a lower GC pressure as well in > addition). > > It was enough that I made a mental note of using flambda if this ever > went > > into a system with high throughput requirements. > > Just for added interest, there are things being worked on in opam 2 which > should allow you to be able to declare such a package as either needing an > OCaml compiler with flambda enabled or which would let you display a > warning message if the package is installed in a compiler which doesn't > have flambda enabled. > > > David > > -- > 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 > --001a1142fd0af8d36c0559edbe93 Content-Type: text/html; charset="UTF-8" Content-Transfer-Encoding: quoted-printable
On S= un, Sep 24, 2017 at 5:22 AM, David Allsopp <dra-news@metastack.com> wrote:
Helm= ut Brandl wrote:
> One more question: It seems that flambda is necessary in order to opti= mize
> monadic code. Is there a plan that flambda will be included in a base<= br> > release of ocaml?=C2=A0
>
> Up to now all base releases like 4.03.0, 4.04.0, etc. do not include > flambda. I have to request the extension if I want it.

flambda work is still ongoing (work-in-progress sounds a bit mean - = it's more that it's still evolving!) and it's not yet in a posi= tion to be enabled by default. This is the ultimate plan, though there is n= o nominated version at which we yet expect to make it the default.

For what it's worth, the main blocker for us tu= rning Flambda on by default in classic mode is getting build artifact size = and compilation speed down basically to the same level as closure-compilati= on. We're getting pretty close to that goal, though it will take a bit = more time to get the improvements in question upstreamed.

So getting Flambda enabled by default isn't that far away (thou= gh most of the real benefits will require -O3, which will still lengthen co= mpilation by quite a bit.)
=C2=A0

Jesper Louis Anderson wrote:
> That decoder used monads heavily as well, and flambda provided roughly=
> an order of magnitude speedup (and a lower GC pressure as well in addi= tion).
> It was enough that I made a mental note of using flambda if this ever = went
> into a system with high throughput requirements.

Just for added interest, there are things being worked on in opam 2 = which should allow you to be able to declare such a package as either needi= ng an OCaml compiler with flambda enabled or which would let you display a = warning message if the package is installed in a compiler which doesn't= have flambda enabled.


David

--
Caml-list mailing list.=C2=A0 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

--001a1142fd0af8d36c0559edbe93--