Here's an interesting article (PDF) discussing the Nemerle Macro system: http://nemerle.org/metaprogramming.pdf Could D adopt a similar design? What do you think? --Yigal