From: Helmut Brandl <helmut.brandl@gmx.net>
To: caml users <caml-list@inria.fr>
Subject: Re: [Caml-list] Performance penalty for using monad
Date: Tue, 19 Sep 2017 11:33:48 -0500 [thread overview]
Message-ID: <03ED974A-ACAE-4EEB-AD46-FC4B863F228E@gmx.net> (raw)
In-Reply-To: <CAGrdgiUapCKa1WPfkBWs=Oh4qi9Zxxk=hhYP2ZF6sfvH2QCxzg@mail.gmail.com>
[-- Attachment #1: Type: text/plain, Size: 2987 bytes --]
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.
Helmut
> On Sep 19, 2017, at 08:24, Jesper Louis Andersen <jesper.louis.andersen@gmail.com> wrote:
>
> It was some time ago, but I was toying with an encoder/decoder for the "Transit" format (of Clojure/Cognitect fame). 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.
>
> On Tue, Sep 19, 2017 at 2:47 PM Helmut Brandl <helmut.brandl@gmx.net <mailto:helmut.brandl@gmx.net>> wrote:
> Thanks for the hint
>
> Helmut
> > On Sep 18, 2017, at 10:31, Yotam Barnoy <yotambarnoy@gmail.com <mailto:yotambarnoy@gmail.com>> wrote:
> >
> > You might find this
> > (https://discuss.ocaml.org/t/ann-monads-the-missing-monad-transformers-library/830/8 <https://discuss.ocaml.org/t/ann-monads-the-missing-monad-transformers-library/830/8>)
> > discussion relevant.
> >
> > On Mon, Sep 18, 2017 at 11:23 AM, Helmut Brandl <helmut.brandl@gmx.net <mailto:helmut.brandl@gmx.net>> wrote:
> >> 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 shouldn’t 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 optimize monadic code?
> >>
> >> Regards
> >> Helmut
> >>
> >> --
> >> Caml-list mailing list. Subscription management and archives:
> >> https://sympa.inria.fr/sympa/arc/caml-list <https://sympa.inria.fr/sympa/arc/caml-list>
> >> Beginner's list: http://groups.yahoo.com/group/ocaml_beginners <http://groups.yahoo.com/group/ocaml_beginners>
> >> Bug reports: http://caml.inria.fr/bin/caml-bugs <http://caml.inria.fr/bin/caml-bugs>
> >
> > --
> > Caml-list mailing list. Subscription management and archives:
> > https://sympa.inria.fr/sympa/arc/caml-list <https://sympa.inria.fr/sympa/arc/caml-list>
> > Beginner's list: http://groups.yahoo.com/group/ocaml_beginners <http://groups.yahoo.com/group/ocaml_beginners>
> > Bug reports: http://caml.inria.fr/bin/caml-bugs <http://caml.inria.fr/bin/caml-bugs>
>
>
> --
> Caml-list mailing list. Subscription management and archives:
> https://sympa.inria.fr/sympa/arc/caml-list <https://sympa.inria.fr/sympa/arc/caml-list>
> Beginner's list: http://groups.yahoo.com/group/ocaml_beginners <http://groups.yahoo.com/group/ocaml_beginners>
> Bug reports: http://caml.inria.fr/bin/caml-bugs <http://caml.inria.fr/bin/caml-bugs>
[-- Attachment #2: Type: text/html, Size: 4986 bytes --]
next prev parent reply other threads:[~2017-09-19 16:33 UTC|newest]
Thread overview: 10+ messages / expand[flat|nested] mbox.gz Atom feed top
2017-09-18 15:23 Helmut Brandl
2017-09-18 15:31 ` Yotam Barnoy
2017-09-19 12:46 ` Helmut Brandl
2017-09-19 13:24 ` Jesper Louis Andersen
2017-09-19 16:33 ` Helmut Brandl [this message]
2017-09-24 9:22 ` David Allsopp
2017-09-24 11:28 ` Yaron Minsky
2017-09-24 20:04 ` Josh Berdine
2017-09-25 8:32 ` Mark Shinwell
2017-09-25 9:25 ` Josh Berdine
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=03ED974A-ACAE-4EEB-AD46-FC4B863F228E@gmx.net \
--to=helmut.brandl@gmx.net \
--cc=caml-list@inria.fr \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).