LearnViz CompSci
Home / Learn / Programming Fundamentals / Metaprogramming

Advanced Topic 53 of 54 Programming Fundamentals

Metaprogramming

Code that inspects or generates other code at runtime or compile time.

How it works

Metaprogramming is writing code that manipulates other code: macros, decorators, templates, code generation, annotations or runtime modification of classes and functions. Programs treat code as data, inspecting or building it at compile time or run time. This allows libraries to remove boilerplate and offer very expressive APIs.

Step-by-step walkthrough

  1. Ordinary code is data that other code can read.
  2. Meta code such as macros, decorators or templates transforms it.
  3. New code is generated at compile time or runtime.
  4. The generated code runs like hand-written code.
  5. It removes boilerplate but is harder to debug.

Where it is used

ORMs that generate methods from database schemas, web frameworks using decorators to register routes, serialization libraries, test frameworks and domain-specific languages rely on metaprogramming. Lisp macros and Rust procedural macros are well-known examples.

Common pitfall

It is hard to debug and understand because the code that runs is not the code that was written. Error messages become confusing, tools struggle with it and behavior can change unexpectedly. Use it sparingly with clear conventions and documentation, and prefer plain functions when they are enough.

Where it fits in the course

Metaprogramming is topic 53 of 54 in Programming Fundamentals, rated Advanced. It follows Memoization. The next topic is Reflection.

Practice and explore

How to study this topic

  1. Read the explanation above and restate the definition in your own words.
  2. Open the interactive lesson and answer its mini quiz.
  3. Read the common pitfall, then write a short example that avoids it.
  4. Check your understanding in the Programming Fundamentals quiz, and revisit the topic if you miss a question.

Frequently asked questions

What is Metaprogramming?
Code that inspects or generates other code at runtime or compile time. It belongs to Programming Fundamentals and is an advanced-level topic.
Where do people use Metaprogramming?
ORMs that generate methods from database schemas, web frameworks using decorators to register routes, serialization libraries, test frameworks and domain-specific languages rely on metaprogramming.
What is the most common mistake with Metaprogramming?
It is hard to debug and understand because the code that runs is not the code that was written.
What should I learn before this topic?
Start with Memoization, the topic just before it in Programming Fundamentals.
How can I practice it?
Answer the mini quiz in the interactive lesson, then take the Programming Fundamentals quiz.
Is Metaprogramming hard to learn?
It is an Advanced topic. Expect to read the explanation more than once and to connect it with earlier topics. Working through a small example by hand helps most.
How long does it take to learn Metaprogramming?
Most learners can read the explanation and finish the interactive lesson in under an hour. Fluency comes from applying the idea, so plan a few short practice sessions with the quiz.
Which topics are related to Metaprogramming?
Memoization, Reflection, Monads are closely connected. The full list is in the related topics section of this page.
What should I study after Metaprogramming?
Continue with Reflection, the next topic in Programming Fundamentals.

Related topics