Techopedia spiega Metalanguage
Metalanguage incoraggia la programmazione funzionale ed è spesso considerato come un linguaggio funzionale impuro. Metalanguage è principalmente usato per descrivere la grammatica o qualsiasi terminologia correlata dei linguaggi di programmazione. Esistono diversi tipi di metalanguages come metalanguages ordinati, nidificati e incorporati. Un metalinguaggio ordinato è simile alla logica ordinata, con ogni livello che ha un grado di astrazione maggiore. Una metalingua nidificata differisce da una metalingua ordinata, con ogni livello incluso anche quello sottostante. Un metalanguage incorporato è un linguaggio incorporato nel linguaggio degli oggetti, che si verifica naturalmente e formalmente.
Il software applicativo è spesso costituito da set di istruzioni in un linguaggio di programmazione chiaro e semplice. Metalanguage è in grado di descrivere sia le proprietà semantiche che sintattiche di un linguaggio. Con diversi linguaggi di programmazione disponibili, molti di questi linguaggi hanno insiemi unici di regole note come sintassi; metalanguage può aiutare a decifrare queste regole.
BNF (Backus-Naur Form) è un esempio di metalinguaggio che è ampiamente usato nella descrizione della sintassi dei linguaggi di programmazione. XSL è anche considerato come un metalinguaggio che permette di definire la codifica di file nello standard XML, che deve essere trasformato o formattato. Lisp è un altro linguaggio popolare che fa uso del proprio metalinguaggio.