Browse thread
what do I need to know to understand camlp4
[
Home
]
[ Index:
by date
|
by threads
]
[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
| Date: | -- (:) |
| From: | ben kuin <benkuin@g...> |
| Subject: | Re: [Caml-list] what do I need to know to understand camlp4 |
thanks a lot for this information and the links, this is very helpful On Thu, Sep 23, 2010 at 6:26 PM, Michael Ekstrand <michael@elehack.net> wrote: > On Thu, 2010-09-23 at 16:56 +0200, ben kuin wrote: >> Could someone give any idea how I can begin to understand how to write >> simple camlp4 extensions? > > Shameless self-plug, but I wrote a blog post this summer about my > experience figuring out how to do it. I provide a walk-through and > explanation of a minimal syntax extension which adds lazy list pattern > matching support based on Batteries. The URL: > > http://www.elehack.net/michael/blog/2010/06/ocaml-syntax-extension > > I do assume a basic knowledge of parsing context-free grammars, but a > generic tutorial on parsing with a tool such as Yacc can fill in that > gap. The Wikipedia article[1] may also be helpful. > > Once you've lept the hurdle of figuring out what pieces you need to > write and build a syntax extension, the remaining tricky part is to > figure out what pieces of the grammar you need to extend to accomplish > your objective. For that, I consult the definition of the OCaml parser > in Camlp4OCamlParser.ml in the OCaml source tree. > > - Michael > > 1. http://en.wikipedia.org/wiki/Context-free_grammar > > -- > Web/blog: http://elehack.net/michael > Jabber/Google Talk: this e-mail address > Twitter: http://twitter.com/elehack > mouse, n: a device for pointing at the xterm in which you want to type > >