Taula de continguts:
Definició: què significa Metalanguage?
Des del punt de vista del llenguatge de programació, un metalenguatge és un llenguatge utilitzat per fer declaracions sobre afirmacions fetes en un altre llenguatge, conegut com a llenguatge objecte. Metalanguage ajuda a descriure els conceptes, gramàtica i objectes associats a un llenguatge de programació particular.
Metalanguage s'utilitza àmpliament en disseny de llenguatges, analitzadors, compiladors i provadors de teoremes. També s’utilitza en sistemes financers, bioinformàtics i en altres aplicacions similars.
Techopedia explica Metalanguage
Metalanguage fomenta la programació funcional i sovint es considera com un llenguatge funcional impur. Metalanguage s'utilitza principalment per descriure la gramàtica o qualsevol terminologia relacionada dels llenguatges de programació. Hi ha diferents tipus de llenguatges metàl·lics, com ara llengües metàl·liques ordenades, imbricades i incrustades. Un metallenguatge ordenat és similar a la lògica ordenada, cada nivell amb un grau d'abstracció més gran. Un metallenguatge nidificat difereix d’un metallenguatge ordenat, amb tots els nivells inclòs el de baix també. Un metallenguatge incrustat és un llenguatge incrustat al llenguatge d'objecte, que es produeix de manera natural i formal.
El programari d'aplicació sovint consisteix en conjunts d'instruccions en un llenguatge de programació clar i senzill. El metallenguatge és capaç de descriure tant propietats semàntiques com sintàctiques d’un llenguatge. Amb diferents llenguatges de programació informàtica disponibles, molts d’aquests llenguatges tenen conjunts únics de regles conegudes com a sintaxi; metalanguage pot ajudar a desxifrar aquestes regles.
El BNF (Forma Backus-Naur) és un exemple de mecanografia que s'utilitza àmpliament per descriure la sintaxi dels llenguatges de programació. XSL també es considera com un metallenguatge que permet definir la codificació de fitxers a l'estàndard XML, que cal transformar o formatar. Lisp és un altre llenguatge popular que fa ús del seu propi llenguatge.
