Folks, I just posted a review of my experience developing a compiler  
from a trading language into C# [1]. One thing I compare is the Scrap  
Your Boilerplate approach in Haskell [2] vs fold generators in camlp4.

I received the following comment in response:

"Also, can you elaborate on the semantic consequences of using  
strongly typed SYB traversals on the Haskell side, versus macro/token  
stuff on the OCaml side? Aren't they wildly different techniques?"

I'll be looking into what Nicolas does with the camlp4 generators but  
would also appreciate suggestions on how to properly answer this  
challenge.

	Thanks, Joel

[1] http://wagerlabs.com/2007/5/26/who-let-the-dogs-out
[2] http://www.cs.vu.nl/boilerplate/

--
http://topdog.cc/ - EL to C# compiler
http://wagerlabs.com/ - blog