Macro Ssub System for Syntax Generation - Syntax Binders / Syntax Variables, Parameterisation / Generics / Templating, Syntax Maching and Syntax Builders

[sirinath]

I think add this to Nitra will increase its expressive power

• Syntax Binders / Syntax Variables (will not be part of syntax definition unless explicitly used in syntax definition)
  • Make all Nira statements like expressions (ability to save parts of the syntax in binders for later reference)
  • Ability to define binders to the expressions (save parts of the definitions for reuse)
  • And Or relationships with expressions (this syntax or / and that syntax)
• Parameterisation
  • Given a set of parameters generate different syntaxes like a function
• Syntax search and matching
• Syntax Builder (Interface / Type Class like syntax creation - search for context dependent matching syntax and apply it to a template)

This will hopefully remove the verbosity of the current scheme and make it more concise.

Maybe you can borrow ideas from http://www.rascal-mpl.org/. http://flix.github.io/