[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