Techopedia explica Metalanguage
Metalanguage incentiva a programação funcional e é muitas vezes considerada como uma linguagem funcional impura. Metalanguage é usado principalmente para descrever a gramática ou qualquer terminologia relacionada das linguagens de programação. Existem diferentes tipos de metalinguagens, tais como ordenadas, aninhadas e incorporadas metalinguagens. Uma metalinguagem ordenada é semelhante à lógica ordenada, com cada nível tendo um maior grau de abstração. Uma metalinguagem aninhada difere de uma metalinguagem ordenada, com cada nível incluindo o abaixo também. Uma metalinguagem embutida é uma linguagem embutida na linguagem objeto, que ocorre naturalmente, bem como formalmente.
software de Aplicação muitas vezes consiste de conjuntos de instruções em linguagem de programação clara e simples. Metalanguage é capaz de descrever as propriedades semânticas e sintáticas de uma linguagem. Com diferentes linguagens de programação de computadores disponíveis, muitas dessas linguagens têm conjuntos únicos de regras conhecidas como sintaxe; a metalinguagem pode ajudar a decifrar estas regras.
BNF (forma Backus-Naur) é um exemplo de uma metalinguagem que é amplamente utilizada na descrição da sintaxe das linguagens de programação. O XSL também é considerado como uma metalinguagem que permite definir codificação de arquivos no padrão XML, que precisa ser transformado ou formatado. Lisp é outra linguagem popular que faz uso de sua própria metalinguagem.