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 D08A78021A for ; Tue, 19 Sep 2017 14:46:27 +0200 (CEST) Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=helmut.brandl@gmx.net; spf=Pass smtp.mailfrom=helmut.brandl@gmx.net; spf=None smtp.helo=postmaster@mout.gmx.net Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of helmut.brandl@gmx.net) identity=pra; client-ip=212.227.15.15; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="helmut.brandl@gmx.net"; x-sender="helmut.brandl@gmx.net"; x-conformance=sidf_compatible Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of helmut.brandl@gmx.net designates 212.227.15.15 as permitted sender) identity=mailfrom; client-ip=212.227.15.15; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="helmut.brandl@gmx.net"; x-sender="helmut.brandl@gmx.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@mout.gmx.net) identity=helo; client-ip=212.227.15.15; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="helmut.brandl@gmx.net"; x-sender="postmaster@mout.gmx.net"; x-conformance=sidf_compatible IronPort-PHdr: =?us-ascii?q?9a23=3AiwoLtRboj/hNvP+6E5Thuef/LSx+4OfEezUN459i?= =?us-ascii?q?sYplN5qZpsW4bnLW6fgltlLVR4KTs6sC0LWG9f24EUU7or+/81k6OKRWUBEEjc?= =?us-ascii?q?hE1ycBO+WiTXPBEfjxciYhF95DXlI2t1uyMExSBdqsLwaK+i762wUPAQ3yPhZZ?= =?us-ascii?q?IeH8G4iaz5jmlrP6x5qGaAxNgHKger5oN13ipgzUsowSgJB+Aqc30BrA5HVSLb?= =?us-ascii?q?d432RtcHKemxPh+o+a5pdl/yAY7/Is88tdTePwZa0+QbhwAzE2dWY4+Ju45lH4?= =?us-ascii?q?UQKT6y5EAS0tmR1SDl2ZvRw=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0DOBQBdEcFZhw8P49RcGwEBAQMBAQEJA?= =?us-ascii?q?QEBFAEBAQEBAQEBAQEBBwEBAQEBhBMDayeDdYoghiiJT4F0gkmTW4ISCiWFFgK?= =?us-ascii?q?EWD8YAQEBAQEBAQEBAQESAQEBCA0JCCgvgjMFAwQegjwBAgMjSxsLGAICCR0CA?= =?us-ascii?q?iEkEgYTEooIAQMXAgyeHYwLgieGbwFKAwqDXwEBAQEGAQEBAQEBAQEBH4EOgh2?= =?us-ascii?q?CAoFQgg6CfYJYgiCDEy+CMQWIJgyKEI4OPIIthS+DXIQnh2WIaYcjjFyFJIM3g?= =?us-ascii?q?TkfgUUyIS9TEgGCc4IjghFYhy6BPwEBAQ?= X-IPAS-Result: =?us-ascii?q?A0DOBQBdEcFZhw8P49RcGwEBAQMBAQEJAQEBFAEBAQEBAQE?= =?us-ascii?q?BAQEBBwEBAQEBhBMDayeDdYoghiiJT4F0gkmTW4ISCiWFFgKEWD8YAQEBAQEBA?= =?us-ascii?q?QEBAQESAQEBCA0JCCgvgjMFAwQegjwBAgMjSxsLGAICCR0CAiEkEgYTEooIAQM?= =?us-ascii?q?XAgyeHYwLgieGbwFKAwqDXwEBAQEGAQEBAQEBAQEBH4EOgh2CAoFQgg6CfYJYg?= =?us-ascii?q?iCDEy+CMQWIJgyKEI4OPIIthS+DXIQnh2WIaYcjjFyFJIM3gTkfgUUyIS9TEgG?= =?us-ascii?q?Cc4IjghFYhy6BPwEBAQ?= X-IronPort-AV: E=Sophos;i="5.42,418,1500933600"; d="scan'208";a="238007975" Received: from mout.gmx.net ([212.227.15.15]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/DHE-RSA-AES128-GCM-SHA256; 19 Sep 2017 14:46:26 +0200 Received: from [192.168.1.69] ([187.207.25.75]) by mail.gmx.com (mrgmx002 [212.227.17.190]) with ESMTPSA (Nemesis) id 0LmKOI-1dLmNf3OoU-00ZyMc; Tue, 19 Sep 2017 14:46:26 +0200 Content-Type: text/plain; charset=utf-8 Mime-Version: 1.0 (Mac OS X Mail 10.3 \(3273\)) From: Helmut Brandl In-Reply-To: Date: Tue, 19 Sep 2017 07:46:23 -0500 Content-Transfer-Encoding: quoted-printable Message-Id: <690A132C-892E-45DC-A884-415E92054AC4@gmx.net> References: <41FF6520-51D5-4EB7-A8AF-6BB9C495D1E8@gmx.net> To: caml users X-Mailer: Apple Mail (2.3273) X-Provags-ID: V03:K0:/FLg4hz97K+j6lp1mKEfV/F84TF0/Tf2YhouOkdwiXsdpdc1UIW hZFmGvwdEO6mwa4sa8v6rK1zyRy2CL+4Trx6nuJ30BjdKNnm6+3Tk3HX7bCkfTCUO78QmOq 2JMf3a3vwQipzY7tAGv7/zS4p/whbo2z8Gk5hBhDeR57QY1IODL5LN70cg48u61A53hjP/u LtAumYE1zIMIwiiYKDAQw== X-UI-Out-Filterresults: notjunk:1;V01:K0:K7tBU2W4fzE=:NrzrnHP2jNCUExE4MtXC4j ct2gZyGikIl4u96jkLXPpbXt1bI1VJRlrNAy3xBkgBVCZlLhHZ5vIJZaszv5mL4mhaFvW2Lo7 NN3VkeMutcBDvVgB4jbPLlXP46bYyI4744Qa1E3ySyeEeIeybXG1RwHt9CjmDhjZfsUErJgNA pu47hcbnHSk8zJ3rEc/OelgESU/SrkccrapMPFvMGZDvGcyiJiJz2Zwmnv2NNI45WXMvWUx+m nqQJ+Fy40yzc9Sd6k+Z+GHQ5dqxWf7nsCiW8TPmdR9i0oOBTSLHcSOkU1wP/HQSG/S81FYfZQ 31u0GEy38Ohn6ocG1+a+R3Cx6rKCjgUo70O2cCCmtraQsGTGJmfaTACa3ZzLvLzHe0GlnH1V7 BSHIvwORIs265PygeIxRVWGSOO5F4qidCuxnL9AOTI7AqwRtp8I4VxLNAuY/HtUbtV1ClgVSu 6YQtvcMFfBkSXhgNqTD62C745zX/Gu9IezKpQsNVB8Vipx0qSTafBwsmRzPrJw3NiXSIwUCUA UL1dkw16BkZPMQcMSU8UGDG7GGAsSRqX89Rhim2/spuc5kRZkFpjgFjbHhEg3SvZHA11nTBg9 WAwKq5VXup9GfqqRrCjB3YwOj2cYDbSg92J2Ee5MTtAk1APFQom4fp/a4DYbzOdLJJkPUTti0 xbl+Crd3tQnPkfGAmdvxfv6FBKPH9+xLj4DlJ20RxqocJJcH1pVupoJ2Zyv76NSDt6FAHRbrO dfzAVjp8uka1g77zU64ZKRvquEA+O0xh3CL+56qb/d1nXzSGE+Q5cIanyJW+bVpFns84BUBkN Fh1LmAkpnbSgF/c08T2XGehHx0Hyh/LlnKpWKZkV62q4ZJFyVs= Subject: Re: [Caml-list] Performance penalty for using monad Thanks for the hint Helmut > On Sep 18, 2017, at 10:31, Yotam Barnoy wrote: >=20 > You might find this > (https://discuss.ocaml.org/t/ann-monads-the-missing-monad-transformers-li= brary/830/8) > discussion relevant. >=20 > On Mon, Sep 18, 2017 at 11:23 AM, Helmut Brandl w= rote: >> I want to restructure my project using monads (reader, state, option, et= c.) in order to get cleaner code. >>=20 >> Is there any performance penalty to pay. From my understanding there sho= uldn=E2=80=99t be any or only very little since aggressive inlining should = be able to compile the monads away. >>=20 >> Is there any experience on how the optimizing ocaml compiler is able to = optimize monadic code? >>=20 >> Regards >> Helmut >>=20 >> -- >> 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 >=20 > --=20 > 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