Indholdsfortegnelse:
Definition - Hvad betyder Metalanguage?
Fra et programmeringssprogperspektiv er et metalsprog et sprog, der bruges til at afgive udsagn om udsagn, der fremsættes på et andet sprog, kendt som et objektsprog. Metalanguage hjælper med at beskrive koncepter, grammatik og objekter, der er forbundet med et bestemt programmeringssprog.
Metalanguage er vidt brugt i sprogdesign, analysatorer, kompilatorer og teorem provers. Det bruges også i finansielle systemer, bioinformatik og i andre lignende applikationer.
Techopedia forklarer Metalanguage
Metalanguage tilskynder til funktionel programmering og betragtes ofte som et uren funktionelt sprog. Metalanguage bruges mest til at beskrive grammatikken eller en hvilken som helst relateret terminologi i programmeringssprogene. Der er forskellige typer metalsprog såsom bestilte, indlejrede og indlejrede metalsprog. En ordnet metalsprog svarer til ordnet logik, hvor hvert niveau har en større abstraktionsgrad. Et indlejret metalsprog adskiller sig fra et ordnet metalsprog, med hvert niveau inklusive det nedenfor også. En indlejret metalsprog er et sprog indlejret i objektets sprog, der forekommer naturligt såvel som formelt.
Applikationssoftware består ofte af sæt instruktioner på klart og enkelt programmeringssprog. Metalanguage er i stand til at beskrive både semantiske og syntaktiske egenskaber ved et sprog. Med forskellige tilgængelige computerprogrammeringssprog har mange af disse sprog unikke sæt regler kendt som syntaks; metalsprog kan hjælpe med at dechiffrere disse regler.
BNF (Backus-Naur Form) er et eksempel på et metalsprog, der er vidt brugt til at beskrive syntaks for programmeringssprog. XSL betragtes også som et metalsprog, der gør det muligt at definere filkodning i XML-standarden, der skal transformeres eller formateres. Lisp er et andet populært sprog, der bruger sit eget metalsprog.
