Pythonic macro syntax

After thinking about it a while a few days ago, and coming up with nothing worth posting, I came back to it now and came up with some syntax I rather like, because it nearly looks like python:

macro PrintMacro:  syntax:    "print", OneOrMore(Var(), name='vars')  return Printnl(vars, None)

• Make all the macro "keywords" look like creating python objects (Var() instead of simple Var)

• Pass the name of elements as a "keyword parameter" to items we want a name for. It should still be easy to find all the names in the parser, since this syntax definition anyway needs to be interpreted in some way to fill the macro classes syntax variable.

  needs to be converted to fill the syntax variable of the resulting macro class.

The internal syntax representation could also look the same:

class PrintMacro(Macro):  syntax = 'print', OneOrMore(Var(), name='vars')  ...

The internal syntax classes like OneOrMore would follow this pattern to allow subitems and an optional name:

class MacroSyntaxElement(object):  def __init__(self, *p, name=None):    self.subelements = p    self.name = name

When the macro matches, you just collect all items that have a name and pass them as keyword parameters to the handler function:

class Macro():   ...   def parse(self, ...):     syntaxtree = []     nameditems = {}     # parse, however this is done     # store all elements that have a name as     #   nameditems[name] = parsed_element     self.handle(syntaxtree, **nameditems)

The handler function would then be defined like this:

class PrintMacro(Macro):  ...  def handle(self, syntaxtree, vars):    return Printnl(vars, None)

I added the syntaxtree as a first parameter that is always passed, so you wouldn't need to have any named items if you just want to do very basic stuff on the syntax tree.

Also, if you don't like the decorators, why not add the macro type like a "base class"? IfMacro would then look like this:

macro IfMacro(MultiLine):  syntax:    Group("if", Var(), ":", Var(), name='if_')    ZeroOrMore("elif", Var(), ":", Var(), name='elifs')    Optional("else", Var(name='elseBody'))  return If(      [(cond, Stmt(body)) for keyword, cond, colon, body in [if_] + elifs],      None if elseBody is None else Stmt(elseBody)    )

And in the internal representation:

class IfMacro(MultiLineMacro):  syntax = (      Group("if", Var(), ":", Var(), name='if_'),      ZeroOrMore("elif", Var(), ":", Var(), name='elifs'),      Optional("else", Var(name='elseBody'))    )  def handle(self, syntaxtree, if_=None, elifs=None, elseBody=None):    # Default parameters in case there is no such named item.    # In this case this can only happen for 'elseBody'.    return If(        [(cond, Stmt(body)) for keyword, cond, body in [if_] + elifs],        None if elseNody is None else Stmt(elseBody)      )

I think this would give a quite flexible system. Main advantages:

• Easy to learn (looks like standard python)
• Easy to parse (parses like standard python)
• Optional items can be easily handled, since you can have a default parameter None in the handler
• Flexible use of named items:
  • You don't need to name any items if you don't want, because the syntax tree is always passed in.
  • You can name any subexpressions in a big macro definition, so it's easy to pick out specific stuff you're interested in
• Easily extensible if you want to add more features to the macro constructs. For example Several("abc", min=3, max=5, name="a"). I think this could also be used to add default values to optional elements like Optional("step", Var(), name="step", default=1).

I'm not sure about the quote/unquote syntax with "quote:" and "$", but some syntax for this is needed, since it makes life much easier if you don't have to manually write syntax trees. Probably its a good idea to require (or just permit?) parenthesis for "$", so that you can insert more complicated syntax parts, if you want. Like $(Stmt(a, b, c)).

The ToMacro would look something like this:

# macro definitionmacro ToMacro(Partial):  syntax:    Var(name='start'), "to", Var(name='end'), Optional("inclusive", name='inc'), Optional("step", Var(name='step'))  if step == None:    step = quote(1)  if inclusive:    return quote:      xrange($(start), $(end)+1, $(step))  else:    return quote:      xrange($(start), $(end), $(step))# resulting macro classclass ToMacro(PartialMacro):  syntax = Var(name='start'), "to", Var(name='end'), Optional("inclusive", name='inc'), Optional("step", Var(name='step'))  def handle(syntaxtree, start=None, end=None, inc=None, step=None):    if step is None:      step = Number(1)    if inclusive:      return ['xrange', ['(', start, [end, '+', Number(1)], step, ')']]    return ['xrange', ['(', start, end, step, ')']]

You might consider looking at how Boo (a .NET-based language with a syntax largely inspired by Python) implements macros, as described at http://boo.codehaus.org/Syntactic+Macros.

You should take a look at MetaPython to see if it accomplishes what you're looking for.