Meta linguagem é a linguagem pra criar linguagens. Ou pelo menos uma linguagem para criar códigos que geram códigos.

Meta é algo sobre aquilo mesmo. Assim como temos o meta SOPt que é um site de Q&A para o site de Q&A SOpt.

O mais interessante aí é o paradigma de meta programação que pode ser aplicado a uma linguagem dedicada a isto ou pode ser adicionada a outra linguagem.

Essa meta linguagem não precisa ser de programação, ou seja, não precisa ser [Turing Complete][1].

No exemplo encontrado mostra uma linguagem de definição chamada [BNF][2] que é usada para facilitar a criação e o entendimento da gramática de uma linguagem. Mas ela é limitada já que não pode expressar semântica.

Muitas vezes isto é confundido com [DSLs][3]. 

Meta programação é algo muito interessante porque pode evitar repetição, melhorar o [DRY][4], simplificar código eliminando o [*boiler plate*][5], criar [*syntax sugar*][6]. Mas também é algo bem complicado de fazer certo a não ser em casos mais triviais como o uso de [genéricos][7], o que já é um pouco complicado. Piora com [gabaritos][8] e macros.

[Lisp][9] é uma linguagem considerada de meta programação e por isso ela é tão fascinante. Ela provê os mecanismos básicos e um forte sistema de macro e o resto o programador vai "criando a linguagem".

Existem também ferramentas de meta programação, como o [*scaffold*][10].


  [1]: https://pt.stackoverflow.com/q/102452/101
  [2]: https://pt.stackoverflow.com/q/178720/101
  [3]: https://martinfowler.com/books/dsl.html
  [4]: https://pt.stackoverflow.com/q/120931/101
  [5]: https://pt.stackoverflow.com/q/173190/101
  [6]: https://pt.stackoverflow.com/q/12964/101
  [7]: https://pt.stackoverflow.com/q/131890/101
  [8]: https://pt.stackoverflow.com/q/150181/101
  [9]: https://en.wikipedia.org/wiki/Lisp_(programming_language)
  [10]: https://pt.stackoverflow.com/q/119731/101