Techopedia wyjaśnia Metajęzyk
metajęzyk zachęca do programowania Funkcjonalnego i jest często uważany za nieczysty język funkcjonalny. Metajęzyk jest najczęściej używany do opisania gramatyki lub jakiejkolwiek pokrewnej terminologii języków programowania. Istnieją różne rodzaje metajęzyków, takie jak uporządkowane, zagnieżdżone i osadzone metajęzyki. Uporządkowany metajęzyk jest podobny do uporządkowanej logiki, przy czym każdy poziom ma większy stopień abstrakcji. Zagnieżdżony metajęzyk różni się od uporządkowanego metajęzyka, z każdym poziomem, w tym również poniżej. Osadzony metajęzyk jest językiem osadzonym w języku obiektowym, który występuje zarówno naturalnie, jak i formalnie.
oprogramowanie często składa się z zestawów instrukcji w jasnym i prostym języku programowania. Metajęzyk jest w stanie opisać zarówno semantyczne, jak i syntaktyczne właściwości języka. W przypadku różnych języków programowania wiele z tych języków ma unikalne zestawy reguł znane jako składnia; metajęzyk może pomóc w rozszyfrowaniu tych zasad.
BNF (forma Backus-Naur) jest przykładem metajęzyka, który jest szeroko stosowany w opisywaniu składni języków programowania. XSL jest również uważany za metajęzyk, który pozwala zdefiniować kodowanie plików w standardzie XML, które musi zostać przekształcone lub sformatowane. Lisp jest kolejnym popularnym językiem, który wykorzystuje swój własny metajęzyk.