Macro Programming Language

The intention of this independent research project is to develop a simple programming language that has rather powerful metaprogramming capabilities.

Foundations

At this point it seems that the language will largely derive from Lisp and Scheme.

Some specific weaknesses in Common Lisp

• Bloated standard
• symbol-function and symbol-value
• Module system

Some specific weaknesses in Scheme

• Macro system

Some specific common weaknesses in Common Lisp and Scheme

• The type system is not as simple as it could be
• Static program analysis can be difficult
• Real-time systems

Some specific design goals for Macro

• Powerful macro system
• Separate minimal core language and libraries
• Module system suitable for large scale programming
• As simple and orthogonal type system as possible
• Real-time specification of the core language
• More amenable to static analysis than Lisp and Scheme