Acasă Dezvoltare Ce este un limbaj metalic? - definiție din techopedia

Ce este un limbaj metalic? - definiție din techopedia

Cuprins:

Anonim

Definiție - Ce înseamnă Metalanguage?

Din perspectiva limbajului de programare, un metalanguage este un limbaj folosit pentru a crea declarații cu privire la enunțuri făcute într-un alt limbaj, cunoscut ca limbaj obiect. Metalanguage ajută la descrierea conceptelor, gramaticii și obiectelor asociate cu un anumit limbaj de programare.

Metalanguage este utilizat pe scară largă în proiectarea limbajului, analizoare, compilatoare și probatori de teoreme. Este, de asemenea, utilizat în sisteme financiare, bioinformatică și în alte aplicații similare.

Techopedia explică Metalanguage

Metalanguage încurajează programarea funcțională și este adesea considerat ca un limbaj funcțional impur. Metalanguage este folosit mai ales pentru a descrie gramatica sau orice terminologie înrudită a limbajelor de programare. Există diferite tipuri de limbaje metalice, cum ar fi limbajele metalice ordonate, imbricate și încorporate. Un metalanguage ordonat este similar cu logica ordonată, fiecare nivel având un grad de abstractizare mai mare. Un metalanguage cuibărit diferă de un metalanguage ordonat, cu fiecare nivel, inclusiv cel de mai jos. Un limbaj metalic încorporat este un limbaj încorporat în limbajul obiectului, care apare atât natural cât și formal.

Programul de aplicație constă adesea din seturi de instrucțiuni într-un limbaj de programare clar și simplu. Metalanguage este capabil să descrie atât proprietățile semantice cât și cele sintactice ale unui limbaj. Cu diferite limbaje de programare pentru calculator disponibile, multe dintre aceste limbaje au seturi unice de reguli cunoscute sub numele de sintaxă; metalanguage poate ajuta la descifrarea acestor reguli.

BNF (Forma Backus-Naur) este un exemplu de limbaj metalic care este utilizat pe scară largă în descrierea sintaxei limbajelor de programare. XSL este de asemenea considerat ca un metalanguage care permite definirea codării fișierelor în standardul XML, care trebuie transformată sau formatată. Lisp este un alt limbaj popular care folosește propria limbaj de metal.

Ce este un limbaj metalic? - definiție din techopedia