[wg-camlp4] Meta Programming from the view of the implementaion
Alain Frisch
alain at frisch.fr
Thu Jan 31 08:52:34 GMT 2013
On 01/30/2013 06:32 PM, Török Edwin wrote:
>>> is used by OCamlnet:
> http://projects.camlcity.org/projects/dl/ocamlnet-3.5.1/doc/html-main/Uq_engines.Operators.html
>>= and =<< are used by Lwt.
I've given it some thought and I don't really buy the argument about a
smooth transition from camlp4 to -ppx based on implementing exactly the
same syntax for a given "extension" implemented with both systems and
then switching from one implementation to another. First, because few
Camlp4 extensions are purely implemented with quotations; those who
actually modify the grammar will require changes to the user side
anyway. Second, I strongly believe that -ppx should put less emphasis
on quotations / unparsed strings, so even things which are currently
implemented with camlp4 quotations would probably benefit from a switch
to parsed stuff (attributes or others). Third, because changing a set
of delimiters to something else, if really needed, is not too difficult
to automate.
Alain
More information about the wg-camlp4
mailing list