From: "Daniel Bünzli" <daniel.buenzli@erratique.ch>
To: Hongbo Zhang <bobzhang1988@gmail.com>
Cc: caml-list@inria.fr
Subject: Re: [Caml-list] Re: Syntax extensions without Camlp4
Date: Sun, 27 May 2012 20:04:29 +0200 [thread overview]
Message-ID: <D521C447A36B43D4B39B88CDC2A55852@erratique.ch> (raw)
In-Reply-To: <jptm5g$bul$1@dough.gmane.org>
Le dimanche, 27 mai 2012 à 18:53, Hongbo Zhang a écrit :
> Well, I don't think it's good to downplay camlp4. The problem is we need
> more documentation and more tests.
camlp4 is one of the (conceptually) ugliest component of the OCaml system. Pre-processors in general are a wrong solution to a real problem; meta-programming facilities should be part of the core language and play by its scoping rules, they should not be layered on top of it.
The aformentioned proposal is certainly not the best I'm hoping for (the definition and semantics of the attributes is defined by the build system). However it may be a step in the right direction. For one thing by preventing the extension of OCaml's concrete syntax and making attributes part of it, using them doesn't break other tools that act on OCaml sources files; the first one being your syntax highlighter.
Best,
Daniel
next prev parent reply other threads:[~2012-05-27 18:04 UTC|newest]
Thread overview: 33+ messages / expand[flat|nested] mbox.gz Atom feed top
2012-05-27 15:06 [Caml-list] " Alexandre Pilkiewicz
2012-05-27 16:53 ` [Caml-list] " Hongbo Zhang
2012-05-27 18:04 ` Daniel Bünzli [this message]
2012-05-27 18:18 ` Hongbo Zhang
2012-05-27 19:01 ` Daniel Bünzli
2012-05-27 22:43 ` Wojciech Meyer
2012-05-28 9:35 ` Daniel Bünzli
2012-05-28 9:59 ` Gabriel Scherer
2012-05-30 14:45 ` Hongbo Zhang
2012-05-28 11:17 ` Wojciech Meyer
2012-05-28 15:52 ` Jeffrey Scofield
2012-05-27 18:19 ` Hongbo Zhang
2012-05-28 8:17 ` Paolo Donadeo
2012-05-30 12:41 ` Alain Frisch
2012-05-30 13:18 ` Markus Mottl
2012-05-30 13:37 ` Dan Bensen
2012-05-30 14:16 ` Hongbo Zhang
2012-05-30 14:23 ` Paolo Donadeo
[not found] ` <20120531081913.GA26742@securactive.lan>
2012-05-31 12:26 ` Paolo Donadeo
2012-05-31 12:38 ` Anil Madhavapeddy
2012-05-31 12:40 ` Anil Madhavapeddy
2012-05-31 12:46 ` Yaron Minsky
2012-05-31 12:47 ` Gabriel Scherer
2012-05-31 22:08 ` Paolo Donadeo
2012-05-30 14:14 ` Hongbo Zhang
2012-05-31 12:59 ` Alain Frisch
2012-05-31 13:21 ` Dmitry Grebeniuk
2012-05-31 14:30 ` Daniel Bünzli
2012-05-31 16:01 ` bob zhang
2012-05-31 17:28 ` Gerd Stolpmann
2012-05-31 18:03 ` Wojciech Meyer
2012-05-31 18:32 ` Gerd Stolpmann
2012-05-31 18:32 ` Hongbo Zhang
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=D521C447A36B43D4B39B88CDC2A55852@erratique.ch \
--to=daniel.buenzli@erratique.ch \
--cc=bobzhang1988@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).