Techopediaはメタ言語
メタ言語は関数型プログラミングを奨励し、しばしば不純な関数型言語と考えられていると説明しています。 メタ言語は、主にプログラミング言語の文法や関連する用語を記述するために使用されます。 順序付き、ネストされた、埋め込まれたmetalanguagesなどのmetalanguagesにはさまざまな種類があります。 順序付けられたメタ言語は順序付けられた論理に似ており、各レベルはより大きな抽象度を有する。 入れ子になったメタ言語は、順序付けられたメタ言語とは異なり、各レベルには以下のものも含まれます。 埋め込まれたメタ言語は、オブジェクト言語に埋め込まれた言語であり、形式的にも自然に発生します。
アプリケーションソフトウェアは、多くの場合、明確で簡単なプログラミング言語の命令のセットで構成されています。 メタ言語は、言語の意味論的性質と構文的性質の両方を記述することができる。 利用可能な異なるコンピュータプログラミング言語では、これらの言語の多くは、構文として知られているルールの一意のセッ; メタ言語は、これらのルールを解読するのに役立ちます。
Bnf(Backus-Naur Form)は、プログラミング言語の構文を記述する際に広く使用されているメタ言語の例です。 XSLはまた、変換またはフォーマットする必要があるXML標準でファイルエンコーディングを定義することを可能にするメタ言語と考えられています。 Lispは、独自のメタ言語を使用する別の一般的な言語です。