From: Gregory Malecha <gmalecha@gmail.com>
To: caml users <caml-list@inria.fr>
Subject: [Caml-list] Question about Optimization
Date: Thu, 21 Apr 2016 00:13:21 -0700 [thread overview]
Message-ID: <CAGraiHKV1npLz5iER0CNgJ86ufOAFTmfr_c+_tNOFiC3w0qL4g@mail.gmail.com> (raw)
[-- Attachment #1: Type: text/plain, Size: 736 bytes --]
Hello --
I'm wondering if there is any work (and interest) on supporting
user-defined optimizations similar to GHC's rewrite rules in the Ocaml
compiler. For example, a standard example would be specifying map fusion:
map f (map g ls) = map (fun x -> f (g x)) ls
This works well in Haskell due to laziness and (mostly) purity but things
are obviously more complex in Ocaml since you can not pretend that things
are pure (due to exceptions, references, IO, and non-termination).
On a related note, this sort of optimization could require a reasonable
amount of static analysis for effects (or trying to reflect effects in the
type system). Has there been any work related to this?
Thank you.
--
gregory malecha
gmalecha.github.io
[-- Attachment #2: Type: text/html, Size: 1112 bytes --]
next reply other threads:[~2016-04-21 7:14 UTC|newest]
Thread overview: 19+ messages / expand[flat|nested] mbox.gz Atom feed top
2016-04-21 7:13 Gregory Malecha [this message]
2016-04-21 9:32 ` Jonas Jensen
2016-04-21 11:45 ` Yaron Minsky
2016-04-21 15:45 ` Gregory Malecha
2016-04-21 16:02 ` Gabriel Scherer
2016-04-21 16:05 ` Daniel Bünzli
2016-04-21 16:35 ` Ben Millwood
2016-04-22 16:09 ` Gregory Malecha
2016-11-08 12:07 ` [Caml-list] The fastest stream library [Was: Question about Optimization] Oleg
2016-11-08 12:05 ` Gregory Malecha
2016-11-08 12:15 ` Gabriel Scherer
2016-11-08 12:47 ` [Caml-list] The fastest stream library [Was: Question about Oleg
2016-11-08 15:45 ` Gabriel Scherer
2016-11-12 13:01 ` Oleg
2016-11-12 16:21 ` Simon Cruanes
2016-11-12 16:35 ` Gabriel Scherer
-- strict thread matches above, loose matches on Subject: below --
2008-11-02 2:52 Question about optimization Michał C
2008-11-02 12:23 ` [Caml-list] " Peng Zang
2008-11-02 13:02 ` Jon Harrop
2008-11-02 15:52 ` Jon Harrop
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=CAGraiHKV1npLz5iER0CNgJ86ufOAFTmfr_c+_tNOFiC3w0qL4g@mail.gmail.com \
--to=gmalecha@gmail.com \
--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).