Techopedia forklarer Metalsprog
Metalsprog tilskynder til funktionel programmering og betragtes ofte som et urent funktionelt sprog. Metalsprog bruges mest til at beskrive grammatikken eller enhver relateret terminologi for programmeringssprogene. Der er forskellige typer metalsprog, såsom ordnede, indlejrede og indlejrede metalsprog. Et ordnet metalsprog svarer til ordnet logik, hvor hvert niveau har en større abstraktionsgrad. Et indlejret metalsprog adskiller sig fra et ordnet metalsprog, hvor hvert niveau også inkluderer det nedenfor. Et indlejret metalsprog er et sprog indlejret i objektsproget, som forekommer naturligt såvel som formelt.
applikationsprogrammet består ofte af instruktionssæt i et klart og enkelt programmeringssprog. Metalsprog er i stand til at beskrive både semantiske og syntaktiske egenskaber ved et sprog. Med forskellige computer programmeringssprog til rådighed, mange af disse sprog har 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 i vid udstrækning bruges til at beskrive syntaksen for programmeringssprog. Det er også et metalsprog, der gør det muligt at definere filkodning i den standard, der skal transformeres eller formateres. Lisp er et andet populært sprog, der gør brug af sit eget metalsprog.