Techopedia explique le métalangage
Le métalangage encourage la programmation fonctionnelle et est souvent considéré comme un langage fonctionnel impur. Le métalangage est principalement utilisé pour décrire la grammaire ou toute terminologie connexe des langages de programmation. Il existe différents types de métalangages tels que les métalangages ordonnés, imbriqués et intégrés. Un métalangage ordonné est similaire à la logique ordonnée, chaque niveau ayant un plus grand degré d’abstraction. Un métalangage imbriqué diffère d’un métalangage ordonné, chaque niveau incluant également celui ci-dessous. Un métalangage intégré est un langage intégré dans le langage objet, qui se produit naturellement aussi bien que formellement.
Les logiciels d’application se composent souvent d’ensembles d’instructions dans un langage de programmation clair et simple. Le métalangage est capable de décrire à la fois les propriétés sémantiques et syntaxiques d’une langue. Avec différents langages de programmation informatique disponibles, beaucoup de ces langages ont des ensembles uniques de règles connues sous le nom de syntaxe; le métalangage peut aider à déchiffrer ces règles.
BNF (forme Backus-Naur) est un exemple de métalangage largement utilisé dans la description de la syntaxe des langages de programmation. Le XSL est également considéré comme un métalangage qui permet de définir l’encodage de fichiers dans le standard XML, qui doit être transformé ou formaté. Lisp est un autre langage populaire qui utilise son propre métalangage.