In this post, I'd like to propose a new approach to extending the
syntax of OCaml that does not depend
on Camlp4. This
proposal is the result of discussions with Xavier Clerc, Fabrice Le
Fessant, Maxence Guesdon, and has been presented to the latest meeting
of the Caml Consortium. It was also quickly mentioned by Xavier
Leroy during his talk at the latest OCaml Users Meeting.