It’s unclear to me whether we are looking a tower or a bump. I’m not claiming this is the solution but in any case I see it as the datatype “assembly” for what we are constantly using. May be worth learning and give it a try. It may also be just a matter of having better background material.
Personally from an end-to-end understanding I find it more penetrable and enlighting than the brittle ppx/camlp45 technology – that (changing) OCaml AST and build churn is pretty wild isn’t it ?
Besides by virtue of existing in the Meta Language now it has higher chances to pass this kind of test – my pockets are not deep enough to be able to throw the needed money at other people to repeatedly migrate my code bases from pre-processing “solutions” to “solutions”.
Now if you were talking about language integrated meta programming facilities, why not. But I’m looking for a reasonable and sustainable solution meanwhile :–)