Techopedia förklarar metaspråk
metaspråk uppmuntrar funktionell programmering och betraktas ofta som ett orent funktionellt språk. Metaspråk används mest för att beskriva grammatiken eller någon relaterad terminologi för programmeringsspråken. Det finns olika typer av metallspråk som beställda, kapslade och inbäddade metallspråk. Ett ordnat metallspråk liknar ordnad logik, där varje nivå har en större abstraktionsgrad. Ett kapslat metallspråk skiljer sig från ett ordnat metallspråk, med varje nivå inklusive den nedan också. Ett inbäddat metallspråk är ett språk inbäddat i objektspråket, vilket förekommer naturligt såväl som formellt.
applikationsprogramvara består ofta av uppsättningar instruktioner i tydligt och enkelt programmeringsspråk. Metaspråk kan beskriva både semantiska och syntaktiska egenskaper hos ett språk. Med olika datorprogrammeringsspråk tillgängliga, många av dessa språk har unika uppsättningar regler som kallas syntax; metalanguage kan hjälpa till att dechiffrera dessa regler.
BNF (Backus-Naur Form) är ett exempel på ett metaspråk som ofta används för att beskriva syntaxen för programmeringsspråk. XSL betraktas också som ett metaspråk som gör det möjligt att definiera filkodning i XML-standarden, som måste transformeras eller formateras. Lisp är ett annat populärt språk som använder sitt eget metallspråk.