Преглед садржаја:
Дефиниција - Шта значи Метајезик?
Из перспективе програмског језика, метајезик је језик који се користи за давање изјава о изјавама сачињеним на другом језику, познатом као објектни језик. Метајезик помаже у описивању појмова, граматике и предмета повезаних са одређеним програмским језиком.
Метајезик се широко користи у дизајнирању језика, анализаторима, преводиоцима и теоремама. Такође се користи у финансијским системима, биоинформатици и у другим сличним применама.
Техопедија објашњава метајезичност
Метајезичност потиче функционално програмирање и често се сматра нечистим функционалним језиком. Метајезик се највише користи за описивање граматике или било које сродне терминологије програмских језика. Постоје различите врсте метајезика попут наручених, угнијежђених и уграђених метајезика. Наређени метајезик сличан је логици, при чему сваки ниво има већи степен апстракције. Гнездени метајезик разликује се од наруџеног метајезика, при чему сваки ниво укључује и онај испод. Уграђени метајезик је језик уграђен у објектни језик, који се јавља природно и формално.
Апликативни софтвер се често састоји од низа упутстава на јасном и једноставном програмском језику. Метајезик је способан да опише и семантичка и синтактичка својства језика. Ако су доступни различити језици за рачунарски програм, многи од ових језика имају јединствене скупове правила позната као синтакса; метајезичност може помоћи у дешифровању ових правила.
БНФ (Бацкус-Наур Форм) је пример метајезика који се широко користи у описивању синтаксе програмских језика. КССЛ се такође сматра метајезиком који омогућава дефинисање кодирања датотека у КСМЛ стандарду, које треба трансформисати или форматирати. Лисп је још један популарни језик који користи сопствени метајезик.
