What Does Metalanguage Mean?
From a programming language perspective, a metalanguage is a language used to make statements regarding statements made in another language, known as an object language. Metalanguage helps in describing the concepts, grammar and objects associated with a particular programming language.
Techopedia Explains Metalanguage
Metalanguage encourages functional programming and is often considered as an impure functional language. Metalanguage is mostly used to describe the grammar or any related terminology of the programming languages. There are different types of metalanguages such as ordered, nested and embedded metalanguages. An ordered metalanguage is similar to ordered logic, with each level having a greater abstraction degree. A nested metalanguage differs from an ordered metalanguage, with each level including the one below as well. An embedded metalanguage is a language embedded in the object language, which occurs naturally as well as formally.
