From: Yitzhak Mandelbaum <yitzhakm@CS.Princeton.EDU>
To: Dawid Toton <d0@wp.pl>
Cc: caml-list <caml-list@yquem.inria.fr>
Subject: Re: [Caml-list] Define parser and printer consistently
Date: Thu, 9 Dec 2010 14:28:57 -0500 [thread overview]
Message-ID: <6E1697F4-8892-4C01-A975-991AC89D5170@cs.princeton.edu> (raw)
In-Reply-To: <4D005F51.8070701@wp.pl>
PADS/ML can do that for you, and more. You can find information about the PADS languages and tools here:
http://www.padsproj.org
including papers and a manual. The website doesn't have the most recent release of PADS/ML -- i plan to put it up on Github shortly -- but if you're interested, i'm happy to send you a tarball.
The basic idea is that you specify your grammar as a type-like declaration. Then, pads/ml generates an AST, parser, printer and some more stuff for you. The generated parser is like a PEG parser, but with support context-sensitive parsing. That is, it is deterministic, with ordered choice; and, it is scannerless. So, the grammars-writing style has some significant differences from ocamllex and ocamlyacc.
PADS/ML has an Eclipse license.
Cheers,
Yitzhak
On Dec 8, 2010, at 11:47 PM, Dawid Toton wrote:
> I'm going to define a parser and a printer for a simple grammar.
> Is there a way to define both of them in a single construct using some existing OCaml tool?
>
> For example, I have a keyword "function". The usual parser would contain a mapping like:
> "function" -> `Function
> and the straightforward printer would do:
> `Function -> "function"
>
> What is the best way to combine these definitions, so that duplication would be minimized?
> To be precise, avoiding duplication is not exactly what I need. I'm looking for something that would prevent making inconsistent changes to the parser and the printer.
>
> Dawid
>
> _______________________________________________
> Caml-list mailing list. Subscription management:
> http://yquem.inria.fr/cgi-bin/mailman/listinfo/caml-list
> Archives: http://caml.inria.fr
> Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
> Bug reports: http://caml.inria.fr/bin/caml-bugs
-----------------------------
Yitzhak Mandelbaum
prev parent reply other threads:[~2010-12-09 19:29 UTC|newest]
Thread overview: 4+ messages / expand[flat|nested] mbox.gz Atom feed top
2010-12-09 4:47 Dawid Toton
2010-12-09 4:56 ` [Caml-list] " Ashish Agarwal
2010-12-09 11:25 ` Romain Bardou
2010-12-09 19:28 ` Yitzhak Mandelbaum [this message]
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=6E1697F4-8892-4C01-A975-991AC89D5170@cs.princeton.edu \
--to=yitzhakm@cs.princeton.edu \
--cc=caml-list@yquem.inria.fr \
--cc=d0@wp.pl \
/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).