CSC/ECE 517 Fall 2009/wiki2 1 ma

Metaprogramming is the writing of a program that writes other programs. Metaprogramming is not limited to o-o languages, but it seems that about half of the languages that support metaprogramming are object oriented. Consider how metaprogramming is done in the various languages, and give an example of writing a particular metaprogram in at least two of these languages to illustrate the differences. Since the Wikipedia article on metaprogramming is not very detailed, if you do a good job, you could submit this article to Wikipedia.

What is Metaprogramming?

Meta- (from Greek: μετά = "after", "beyond", "with", "adjacent", "self"), is a prefix used in English to indicate a concept which is an abstraction from another concept, used to complete or add to the latter. Source: Wikipedia

Metaprogramming is the writing of computer programs that write or manipulate other programs (or themselves) as their data, or that do part of the work at compile time that would otherwise be done at runtime. In many cases, this allows programmers to get more done in the same amount of time as they would take to write all the code manually, or it gives programs greater flexibility to efficiently handle new situations without recompilation."

Examples of Metaprogramming

Examples of Metaprograms

• the compiler or interpreter of your favourite language
• Lex and Yacc
• CORBA's IDL compiler
• a Quine (a program that, when executed, prints a copy of its own source code -- see QuineProgram for examples)
• Programs to generate EJB code and XML from database metadata
• Macros are nothing but special cases of metaprograms, as they generate the actual code during macro evalution.

Metaprogramming style in various languages

• A metaprogram in Ruby

A metaprogram in C++

A metaprogram in C++

C++ supports a type of metaprogramming called template metaprogramming.Template Metaprogramming is a generic programming technique that uses extremely early binding. The compiler acts as an interpreter or a "virtual computer" that emits the instructions that make up the final program. It can be used for static configuration, adaptive programs, optimization and much more.[1]

In template metaprogramming  In this a piece of code called template is used. The template has to be defined before use. Later whenever a simialr piece of code is to be used the template is instasiatied. The idea is to group simialr lines of code as a template. 

• Illustrating the differences

Appendix

• Metalanguage: The language in which the metaprogram is written
• Object language: The language of the programs that are manipulated
• Reflection or Reflexivity: The ability of a programming language to be its own metalanguage