Techopedia explica Metalanguage
Metalanguage fomenta la programación funcional y a menudo se considera un lenguaje funcional impuro. Metalanguage se utiliza principalmente para describir la gramática o cualquier terminología relacionada de los lenguajes de programación. Hay diferentes tipos de metalenguajes, como metalenguajes ordenados, anidados e incrustados. Un metalenguaje ordenado es similar a la lógica ordenada, con cada nivel teniendo un mayor grado de abstracción. Un metalenguaje anidado difiere de un metalenguaje ordenado, con cada nivel incluido el de abajo también. Un metalenguaje incrustado es un lenguaje incrustado en el lenguaje de objetos, que ocurre de forma natural y formal.
El software de aplicación a menudo consiste en conjuntos de instrucciones en un lenguaje de programación claro y simple. El metalenguaje es capaz de describir las propiedades semánticas y sintácticas de un lenguaje. Con diferentes lenguajes de programación de computadoras disponibles, muchos de estos lenguajes tienen conjuntos únicos de reglas conocidas como sintaxis; metalenguaje puede ayudar a descifrar estas reglas.
BNF (Forma Backus-Naur) es un ejemplo de metalenguaje ampliamente utilizado para describir la sintaxis de lenguajes de programación. XSL también se considera un metalenguaje que permite definir la codificación de archivos en el estándar XML, que necesita ser transformado o formateado. Lisp es otro lenguaje popular que hace uso de su propio metalenguaje.