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 C3CFC80211 for ; Mon, 25 Sep 2017 11:25:42 +0200 (CEST) Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=josh@berdine.net; spf=Pass smtp.mailfrom=josh@berdine.net; spf=None smtp.helo=postmaster@out1-smtp.messagingengine.com Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of josh@berdine.net) identity=pra; client-ip=66.111.4.25; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="josh@berdine.net"; x-sender="josh@berdine.net"; x-conformance=sidf_compatible Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of josh@berdine.net designates 66.111.4.25 as permitted sender) identity=mailfrom; client-ip=66.111.4.25; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="josh@berdine.net"; x-sender="josh@berdine.net"; 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@out1-smtp.messagingengine.com) identity=helo; client-ip=66.111.4.25; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="josh@berdine.net"; x-sender="postmaster@out1-smtp.messagingengine.com"; x-conformance=sidf_compatible IronPort-PHdr: =?us-ascii?q?9a23=3AQ+X1wxK9TwlvarSV4dmcpTZWNBhigK39O0sv0rFi?= =?us-ascii?q?tYgXLPrxwZ3uMQTl6Ol3ixeRBMOAtKIC1rKempujcFJDyK7JiGoFfp1IWk1Nou?= =?us-ascii?q?QttCtkPvS4D1bmJuXhdS0wEZcKflZk+3amLRodQ56mNBWB6kG1uDUbHxG3KBF4?= =?us-ascii?q?PP+9ToXbisDy0+Gp57XSZR9JjXyze+UhAg+xqFDzsdIWyaFvMKowzBaB9nlPYO?= =?us-ascii?q?R+z25yKVOVklD669vmr80ryDhZp/90r50Iaq79ZaltFbE=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0ChBgC0yshZhhkEb0JbGwEBAQMBAQEJA?= =?us-ascii?q?QEBFwEBBAEBCgEBhBZrJ48KjwWBdpg8CoU7AoQvRBMBAQEBAQEBAQEBARIBAQE?= =?us-ascii?q?ICwsIKC+CMyKCRAECAzoGAQEqDg8LGC5XBhOKM6ZEgxKDCQEBBYgDAQEIAQEBA?= =?us-ascii?q?QEbCIMrggKDY4JINYUDg0KCMYgxmHOGY45rgQmJThOHKpIPgzeBOTeBLjIhCCg?= =?us-ascii?q?KSRIBgnSCBB+BdHWIMwEBAQ?= X-IPAS-Result: =?us-ascii?q?A0ChBgC0yshZhhkEb0JbGwEBAQMBAQEJAQEBFwEBBAEBCgE?= =?us-ascii?q?BhBZrJ48KjwWBdpg8CoU7AoQvRBMBAQEBAQEBAQEBARIBAQEICwsIKC+CMyKCR?= =?us-ascii?q?AECAzoGAQEqDg8LGC5XBhOKM6ZEgxKDCQEBBYgDAQEIAQEBAQEbCIMrggKDY4J?= =?us-ascii?q?INYUDg0KCMYgxmHOGY45rgQmJThOHKpIPgzeBOTeBLjIhCCgKSRIBgnSCBB+Bd?= =?us-ascii?q?HWIMwEBAQ?= X-IronPort-AV: E=Sophos;i="5.42,435,1500933600"; d="scan'208";a="238595777" Received: from out1-smtp.messagingengine.com ([66.111.4.25]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-GCM-SHA384; 25 Sep 2017 11:25:41 +0200 Received: from compute1.internal (compute1.nyi.internal [10.202.2.41]) by mailout.nyi.internal (Postfix) with ESMTP id 4D52220ED6; Mon, 25 Sep 2017 05:25:40 -0400 (EDT) Received: from frontend2 ([10.202.2.161]) by compute1.internal (MEProxy); Mon, 25 Sep 2017 05:25:40 -0400 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=berdine.net; h= content-transfer-encoding:content-type:date:from:in-reply-to :message-id:mime-version:references:subject:to:x-me-sender :x-me-sender:x-sasl-enc:x-sasl-enc; s=fm1; bh=C6tmhA9kCthYpPrhfd rKt/HCI+dJaczvx0tu7ynoR08=; b=IL2mAEBDPH2VaZPW3EAmnq5Hs+SgrIc7oC 0ecgVKHDCoHelrG/t3I8S0kEvjKA23QzgEwN7SItjvqv0euRGZ80F5rVr4K7idUo iutm/Od4XHHJ5ABc4AUeVeB2/ePWWQmxEGzEdcZU6dfeqzPrKWfUULa5g1BR2qcv 0O++KZiwWuXiCS4QRjbYSrJfwluVmBGMP1YetXAI4TJxrLxzkJrjIBgAGaEaSQy2 HTmU50+PRjObiOeUtA94wB7zfhW5fDdGAjyUjsHZTiofmJY1l5bQCGYGRbpK/Bz1 RrH9L240COOqX+YjSHnHhtj6u3B5eIZmyhpggloT49aATYNQ/Qng== DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d= messagingengine.com; h=content-transfer-encoding:content-type :date:from:in-reply-to:message-id:mime-version:references :subject:to:x-me-sender:x-me-sender:x-sasl-enc:x-sasl-enc; s= fm1; bh=C6tmhA9kCthYpPrhfdrKt/HCI+dJaczvx0tu7ynoR08=; b=VCBK2y4X 4gTQxjYGu23pPunMWvyv5ZvWBhPMeH0zhVKSufVQCpqW0TNFGvb/W6GtCnuawS8t f42Sji9gCQdlFyf8CoHxHxPlKDuQnDXCM9W+PUZAizl8gV4LmuwSyykyOyG7MoeI E5kuZNlRZMxu1HcWBQsAGwX4u3jXe0ZIjmhCI1mMO/06VZp8QX4FPnDCeCHixQpJ csHv8LpgWEe1oIjz5DUXIBjEHg8ZaZSat+2hrkfar0ynd4Ga2hphpX4qHSg4PD1E +ILNAHl8LnlZXm1t5uAWzXhVdomWxxv2BPo2hNfnsSre0idCNjnBP9iyjlFZSZD1 eOFMTskU27rmmA== X-ME-Sender: X-Sasl-enc: 14D1P6ph7I07jTvf9E42Gfx7CO1rHTsZhpM2CbFnZTr/ 1506331539 Received: from [172.16.3.210] (unknown [199.201.66.3]) by mail.messagingengine.com (Postfix) with ESMTPA id D59F924969 for ; Mon, 25 Sep 2017 05:25:39 -0400 (EDT) From: Josh Berdine Content-Type: text/plain; charset=us-ascii Content-Transfer-Encoding: quoted-printable Mime-Version: 1.0 (Mac OS X Mail 10.3 \(3273\)) Date: Mon, 25 Sep 2017 10:25:38 +0100 References: <41FF6520-51D5-4EB7-A8AF-6BB9C495D1E8@gmx.net> <690A132C-892E-45DC-A884-415E92054AC4@gmx.net> <03ED974A-ACAE-4EEB-AD46-FC4B863F228E@gmx.net> <33303E31-1874-4BD1-90D9-E9E8F623A6C6@berdine.net> To: caml users In-Reply-To: Message-Id: <13996AFA-FA18-47E4-A787-6C6D0ECD78B0@berdine.net> X-Mailer: Apple Mail (2.3273) Subject: Re: [Caml-list] Performance penalty for using monad On Sep 25, 2017, at 9:32 AM, Mark Shinwell wrote: >=20 > I would also point out that Facebook's experience with compilation speed = under Flambda is actually rather worse than what we've found at Jane Street= . We are typically seeing closer to 2.5x rather than 5x at -O3.=20 Good point. We have some generated code that might be a bit pathological, a= nd basically compile everything together, which might be suboptimal. The main point is that the performance gains are so substantial that everyo= ne with code whose performance matters owes it to themselves to try flambda= -O3 and see what the trade-off is for them. Cheers, Josh