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 079DA8021A for ; Mon, 18 Sep 2017 17:32:21 +0200 (CEST) Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=yotambarnoy@gmail.com; spf=Pass smtp.mailfrom=yotambarnoy@gmail.com; spf=None smtp.helo=postmaster@mail-qt0-f172.google.com Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of yotambarnoy@gmail.com) identity=pra; client-ip=209.85.216.172; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="yotambarnoy@gmail.com"; x-sender="yotambarnoy@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of yotambarnoy@gmail.com designates 209.85.216.172 as permitted sender) identity=mailfrom; client-ip=209.85.216.172; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="yotambarnoy@gmail.com"; x-sender="yotambarnoy@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-qt0-f172.google.com) identity=helo; client-ip=209.85.216.172; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="yotambarnoy@gmail.com"; x-sender="postmaster@mail-qt0-f172.google.com"; x-conformance=sidf_compatible IronPort-PHdr: =?us-ascii?q?9a23=3AZiBfhhSflLRVzEwRw2I5hb6EnNpsv+yvbD5Q0YIu?= =?us-ascii?q?jvd0So/mwa64ZRyN2/xhgRfzUJnB7Loc0qyN7PCmBDRIyK3CmU5BWaQEbwUCh8?= =?us-ascii?q?QSkl5oK+++Imq/EsTXaTcnFt9JTl5v8iLzG0FUHMHjew+a+SXqvnY6Uy/yPgtt?= =?us-ascii?q?J+nzBpWaz4Huj7jzqKvofh5QiTGhTbR3JRSw5UWN54hFybdlf4Y8zh7UvjNiYe?= =?us-ascii?q?1QyWcgcVKemxPh+oG65pdl/yB4tPcxschNTfOpUb4/SOlpCygvNigf7dftsgiL?= =?us-ascii?q?GRqI+nIZWGwMlB1ZKwfA5RD+GJz2t32p5aJGxCCGMJiuHvgPUjO44vIuFUbl?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0B2AwB15r9Zf6zYVdFdGgEBAQECAQEBA?= =?us-ascii?q?QgBAQEBFQEBAQECAQEBAQgBAQEBg1Q/bicHg26KIIYoiU6BdIJJhmKMe4ISCiW?= =?us-ascii?q?FFgKEQAc/GAEBAQEBAQEBAQEBEgEBCQsLCCYxgjMFAR4GgjwBAgMjHQEbEgsBA?= =?us-ascii?q?wwGBQsNAgIJHQICIgERAQUBChIGExKKCAEDFRCdOECMC4IFBQEcgwoFg1wKGSc?= =?us-ascii?q?DCleDEwEBAQEBAQQBAQEBAQEBGQIGEnyCHYICgVCFC4JYgiCDE4JgBYgmDJhWh?= =?us-ascii?q?1uDXIkegm6QCpUhFAUfgRUfgUUyISReGoRwgi4kNoZAgVMBAQE?= X-IPAS-Result: =?us-ascii?q?A0B2AwB15r9Zf6zYVdFdGgEBAQECAQEBAQgBAQEBFQEBAQE?= =?us-ascii?q?CAQEBAQgBAQEBg1Q/bicHg26KIIYoiU6BdIJJhmKMe4ISCiWFFgKEQAc/GAEBA?= =?us-ascii?q?QEBAQEBAQEBEgEBCQsLCCYxgjMFAR4GgjwBAgMjHQEbEgsBAwwGBQsNAgIJHQI?= =?us-ascii?q?CIgERAQUBChIGExKKCAEDFRCdOECMC4IFBQEcgwoFg1wKGScDCleDEwEBAQEBA?= =?us-ascii?q?QQBAQEBAQEBGQIGEnyCHYICgVCFC4JYgiCDE4JgBYgmDJhWh1uDXIkegm6QCpU?= =?us-ascii?q?hFAUfgRUfgUUyISReGoRwgi4kNoZAgVMBAQE?= X-IronPort-AV: E=Sophos;i="5.42,413,1500933600"; d="scan'208";a="237898873" Received: from mail-qt0-f172.google.com ([209.85.216.172]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 18 Sep 2017 17:32:20 +0200 Received: by mail-qt0-f172.google.com with SMTP id f15so927553qtf.7 for ; Mon, 18 Sep 2017 08:32:20 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=mime-version:in-reply-to:references:from:date:message-id:subject:to :cc:content-transfer-encoding; bh=E4NaJQ0ik1e4hnyObjHRPPYeP1+ju+GqU/f5isLT+mw=; b=URqAuZmjXrhCN3RGHl7qAGNs79vXTzDeeOtGYdFSIHnYPvCEBHX5Z9v/HaaZAxycx7 4sF0+Z9iyux52HMInlimWmR6BxB5knX2wzSnTw7ieTj6h2eMwp4OHZpgpDd1WVmIwY89 jdmru3HeunAjMyX9XxYT8h7bYiRp5jrvgg0I5kbEvvF7db7rIQrDzZjFcB8vt6sXOZKF etst5/iPFoJhT4svTkSgp74B7J4JR2euIG3hJV8jxhNlUstLM+/eY/E/Tt2HC8tGbmZk f/5IBc+QbIv78jYDbq2dFjON7wIBGyX/zJmkPb8KRY431ms8vl347ZdBEOCg77uyZuXN uBjQ== 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:content-transfer-encoding; bh=E4NaJQ0ik1e4hnyObjHRPPYeP1+ju+GqU/f5isLT+mw=; b=DWzGLJTlUOUv4t6Ask3zKnRetOFNB06mow+XGdY3HakAo4YS9rWjeh5aJX9OGF4OQb mz3DgzGsxcLvji18eeOZgmmfDFaOqp9fckD5FA7vCbx4URO9TxGYQwPhQpyNEHYV5aj1 JJmvao/3iI2adE9SN+SUDcixscDqTq4ybXTWmbU7LuECzayZgwDHrbUEr6n7sYVYHEvs Hc5YYmLw985r+fxGdoR3/xjwTcqngCUPslPYiDQkYeGruG+z7RqrriHei+fwAZ1qfRKh 1Fx7flNGgEeCj3Bfa1VNI3K5mrUdL/l/XcHbB1TqHK1xdsJkyg4mZT8khAlYCy8BLSVn GtOA== X-Gm-Message-State: AHPjjUgaQBxdJg1XGIH8hKFyPuO0wyordec42oXm1FB+ALaThzI3jjSm nkGILivWJT5bW6w34lqwnnS/606u+krxZIuHNSPhOw== X-Google-Smtp-Source: AOwi7QCHQJKzzE7io4ywc7gKs1Lyrp9unXxcnu3cHLxuz8Hx4avnoMoSkdC0KydWLqs5UoS8o+q/T4lp6GjXgzLHWu4= X-Received: by 10.237.33.162 with SMTP id l31mr22134170qtc.255.1505748738812; Mon, 18 Sep 2017 08:32:18 -0700 (PDT) MIME-Version: 1.0 Received: by 10.12.208.7 with HTTP; Mon, 18 Sep 2017 08:31:58 -0700 (PDT) In-Reply-To: <41FF6520-51D5-4EB7-A8AF-6BB9C495D1E8@gmx.net> References: <41FF6520-51D5-4EB7-A8AF-6BB9C495D1E8@gmx.net> From: Yotam Barnoy Date: Mon, 18 Sep 2017 11:31:58 -0400 Message-ID: To: Helmut Brandl Cc: caml users Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable Subject: Re: [Caml-list] Performance penalty for using monad You might find this (https://discuss.ocaml.org/t/ann-monads-the-missing-monad-transformers-libr= ary/830/8) discussion relevant. On Mon, Sep 18, 2017 at 11:23 AM, Helmut Brandl wro= te: > I want to restructure my project using monads (reader, state, option, etc= .) in order to get cleaner code. > > Is there any performance penalty to pay. From my understanding there shou= ldn=E2=80=99t be any or only very little since aggressive inlining should b= e able to compile the monads away. > > Is there any experience on how the optimizing ocaml compiler is able to o= ptimize monadic code? > > Regards > Helmut > > -- > 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