[alphonse23]

The wikipedia definition is good: "Metaprogramming is the writing of computer programs with the ability to treat programs as their data. It means that a program could be designed to read, generate, analyse or transform other programs, and even modify itself while running."

In my own words, code that can read and write code (whether that's at compile time or run time).

[naasking]

Right, so then Haskell type classes qualify, and my original point stands. Certainly the type class language is limited, but common extensions make it Turing complete [1].

[1] https://mail.haskell.org/pipermail/haskell/2006-August/01835...