From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <helmut.brandl@gmx.net>
X-Original-To: caml-list@sympa.inria.fr
Delivered-To: caml-list@sympa.inria.fr
Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83])
	by sympa.inria.fr (Postfix) with ESMTPS id E95988021A
	for <caml-list@sympa.inria.fr>; Mon, 18 Sep 2017 17:23:45 +0200 (CEST)
Authentication-Results: mail2-smtp-roc.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 (mail2-smtp-roc.national.inria.fr: no sender
  authenticity information available from domain of
  helmut.brandl@gmx.net) identity=pra; client-ip=212.227.15.19;
  receiver=mail2-smtp-roc.national.inria.fr;
  envelope-from="helmut.brandl@gmx.net";
  x-sender="helmut.brandl@gmx.net";
  x-conformance=sidf_compatible
Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of
  helmut.brandl@gmx.net designates 212.227.15.19 as permitted
  sender) identity=mailfrom; client-ip=212.227.15.19;
  receiver=mail2-smtp-roc.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 (mail2-smtp-roc.national.inria.fr: no sender
  authenticity information available from domain of
  postmaster@mout.gmx.net) identity=helo;
  client-ip=212.227.15.19;
  receiver=mail2-smtp-roc.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=3AfDvn6RNqKdCz070+aTkl6mtUPXoX/o7sNwtQ0KIM?=
 =?us-ascii?q?zox0K/v5rarrMEGX3/hxlliBBdydsK0UzbeO+4nbGkU+or+5+EgYd5JNUxJXwe?=
 =?us-ascii?q?43pCcHRPC/NEvgMfTxZDY7FskRHHVs/nW8LFQHUJ2mPw6a8TWO6msZExD7fRdu?=
 =?us-ascii?q?K/7uUtrZhsGzkuSz4IH7YgNShTP7b6kkfzusqgCElsQShJZ+Yowrwx3FpjMce+?=
 =?us-ascii?q?lSwH50Y1iJlhDw4u+/+Y4l9SlM7aFyv/VcWLn3KvxrBYdTCy4rZjg4?=
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0B8AwBY5L9ZhxMP49RdHAEBBAEBCgEBF?=
 =?us-ascii?q?wEBBAEBCgEBhBZrhByaFoI0lWaCEgoFhS2EUkAXAQEBAQEBAQEBAQESAQEBCA0?=
 =?us-ascii?q?JCCgvQhKBXyKCbYELAiYCX4otARoCmX6EBYwLgieGaQGETAEBAQEjgQ6CHYICg?=
 =?us-ascii?q?VCCDoJOiDovgjEFkkCOSIFsQYkKixkBiVuHIZF+gzeBOSEBgUIyIS9lAYJzgiO?=
 =?us-ascii?q?CEYR/g2wBAQE?=
X-IPAS-Result: =?us-ascii?q?A0B8AwBY5L9ZhxMP49RdHAEBBAEBCgEBFwEBBAEBCgEBhBZ?=
 =?us-ascii?q?rhByaFoI0lWaCEgoFhS2EUkAXAQEBAQEBAQEBAQESAQEBCA0JCCgvQhKBXyKCb?=
 =?us-ascii?q?YELAiYCX4otARoCmX6EBYwLgieGaQGETAEBAQEjgQ6CHYICgVCCDoJOiDovgjE?=
 =?us-ascii?q?FkkCOSIFsQYkKixkBiVuHIZF+gzeBOSEBgUIyIS9lAYJzgiOCEYR/g2wBAQE?=
X-IronPort-AV: E=Sophos;i="5.42,413,1500933600"; 
   d="scan'208";a="291610917"
Received: from mout.gmx.net ([212.227.15.19])
  by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/DHE-RSA-AES128-GCM-SHA256; 18 Sep 2017 17:23:45 +0200
Received: from [192.168.1.69] ([187.207.17.234]) by mail.gmx.com (mrgmx003
 [212.227.17.190]) with ESMTPSA (Nemesis) id 0Lp3sy-1dF8yK3AEW-00erXT; Mon, 18
 Sep 2017 17:23:45 +0200
From: Helmut Brandl <helmut.brandl@gmx.net>
Content-Type: text/plain; charset=utf-8
Content-Transfer-Encoding: quoted-printable
Mime-Version: 1.0 (Mac OS X Mail 10.3 \(3273\))
Date: Mon, 18 Sep 2017 10:23:42 -0500
Message-Id: <41FF6520-51D5-4EB7-A8AF-6BB9C495D1E8@gmx.net>
To: caml users <caml-list@inria.fr>
X-Mailer: Apple Mail (2.3273)
X-Provags-ID: V03:K0:jLNljHGx56aKdBBQ4ZtLbcJqvbEMKixyRL9epw82rgQ6gQ7h2Xw
 ZU8OuU99ol2c8JjVoj+CpUwTqSx8Nm4c+hsP7GBO6FU4/ldXiulanXZxfGPDE9vGAXVOWjU
 XgZpfW0RHhDppOreUS+ZgEHe2uaamHl09N+GSTdioi5NcJDj7HIgYdkAnwRk736IsCAkJFB
 ea92N0asSRMVy19X4OW4Q==
X-UI-Out-Filterresults: notjunk:1;V01:K0:rO1QS0U2gLQ=:rBTU39jt3vA0UlpRVGEnYA
 QCvxIZlLn5CpQTNnV87ew9Wy+saRUGNgGVtLS6iDl9eSsnBCJOIVoxQf4hBe/W3OzLdU2rObB
 VBnqPnETK80D8/mxhg3rDRYQYDpwiPwjLdQKjXW+6ncMX7AlqEXLOqMnOlAEmRcvth9k0mPx+
 1F1hLWKQx4OF494DmffCAPJ/Lv0MBSFcy0AKMH561LZBt6q5RwRHAw1uy8NYfNISJganWUXNw
 P2okVoUvRAqxC1ZyIT/SuM10j1Y8V0dS0+eKMERbtq0czYvBgJCsxEP3bemlFrK/nb+mkbP3N
 TD7a4bdHiajshPm65hTPeruMsId0M/PIq2YTsb/imLWyI0OnRDTchOl2uk/AkurHFnKLvOOVZ
 1J4LtliD3OAj9Mo9dlhPuoQV1g9ehBp3urxMIJyeQTv031m/szr5PKNGackzDHVx6plof2M+F
 kioQJGxHuRM3J9oTHRkDy26llQBXshmznmVVLe7aEv3nBHdf+YMKLAjBj8y4pqhBhKtDtiG9e
 mWma19Cno2U3r2UsOgVTGjLaCt5bgbYIeWJQGQLxnxAv8J1bxBZzdMO7d2cPYEt6hOJt94Yvi
 MexQRp77JI5p0laEJBy2PbDxedcd84wvZEDpv2QD1ZFKPxHhciPrpkAamfJ/n2XFGsiFcJ7Pk
 kyOWyE+TQZC1jjK/v9hWR7NzIQ4hsR4bZt1VNpEv05geFs1aA8t7O64NtlZRL9sQdjTDd2xLA
 D+qKhck0OgzTiCKFBIBMc37aTb5np1GN4NkFS0fBGjWJGDboxDq+peLB/29Zzkd12fGIYuBJW
 u1PcU5f/HezQZCSKt6/MIrEIRswYIxEiz3RBl4i9G/tr5PnCT8=
Subject: [Caml-list] Performance penalty for using monad

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 should=
n=E2=80=99t be any or only very little since aggressive inlining should be =
able to compile the monads away.

Is there any experience on how the optimizing ocaml compiler is able to opt=
imize monadic code?

Regards
Helmut=