From: Oleg <oleg@okmij.org>
To: oliver@first.in-berlin.de, ivg@ieee.org
Cc: caml-list@inria.fr
Subject: Re: [Caml-list] First-Class Types?!
Date: Wed, 12 Oct 2016 16:25:47 +0900 [thread overview]
Message-ID: <20161012072547.GA1673@Magus.localnet> (raw)
In-Reply-To: <380FF407-4857-4363-971F-1567AD43A0BC@ieee.org>
Currently MetaOCaml does not allow struct ... end and sig ... end
to appear within brackets. If it did, it becomes legitimate to talk
about splices not only within expressions but also type definitions,
etc. So, the notion of first-class types arises quite naturally once
we considered staging.
We have tried to contemplate this question and what good might
first-class types do. One immediate benefit would be specializing
functor applications and reducing/removing overhead of using
functors. When we thought about it further, it turns out we can do
essentially the same in existing (Meta)OCaml. Hence the problem: we
couldn't come up with a compelling example why we would need to extend
staging to type expressions. You can read more details in the PEPM
2016 paper
http://okmij.org/ftp/meta-programming/StagingNG.pdf
next prev parent reply other threads:[~2016-10-12 7:20 UTC|newest]
Thread overview: 8+ messages / expand[flat|nested] mbox.gz Atom feed top
2016-10-11 21:55 Oliver Bandel
2016-10-11 21:57 ` Oliver Bandel
2016-10-11 22:20 ` Oliver Bandel
2016-10-11 23:09 ` Ivan Gotovchits
2016-10-12 7:25 ` Oleg [this message]
2016-10-12 7:07 ` Kakadu
2016-10-12 7:11 ` Haoyang Wang
2016-10-12 11:39 ` Oliver Bandel
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=20161012072547.GA1673@Magus.localnet \
--to=oleg@okmij.org \
--cc=caml-list@inria.fr \
--cc=ivg@ieee.org \
--cc=oliver@first.in-berlin.de \
/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).