Metalanguage (other)
Metalanguage is a language used to describe another language, in logic and linguistics, as well as metaprogramming. Meta language may refer to: * ML (programming language) * Meta' language, spoken in Cameroon See also * Natural semantic metalanguage The natural semantic metalanguage (NSM) is a linguistic theory that reduces lexicons down to a set of semantic primitives. It is based on the conception of Polish professor Andrzej Bogusławski. The theory was formally developed by Anna Wierzbick ...

Metalanguage
In logic and linguistics, a metalanguage is a language used to describe another language, often called the ''object language''. Expressions in a metalanguage are often distinguished from those in the object language by the use of italics, quotation marks, or writing on a separate line. The structure of sentences and phrases in a metalanguage can be described by a metasyntax. Types There are a variety of recognized metalanguages, including ''embedded'', ''ordered'', and ''nested'' (or ''hierarchical'') metalanguages. Embedded An embedded metalanguage is a language formally, naturally and firmly fixed in an object language. This idea is found in Douglas Hofstadter's book, '' Gödel, Escher, Bach'', in a discussion of the relationship between formal languages and number theory: "... it is in the nature of any formalization of number theory that its metalanguage is embedded within it." It occurs in natural, or informal, languages, as well—such as in English, where words ...
[...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  

ML (programming Language)
ML (Meta Language) is a general-purpose functional programming language. It is known for its use of the polymorphic Hindley–Milner type system, which automatically assigns the types of most expressions without requiring explicit type annotations, and ensures type safetythere is a formal proof that a well-typed ML program does not cause runtime type errors. ML provides pattern matching for function arguments, garbage collection, imperative programming, call-by-value and currying. It is used heavily in programming language research and is one of the few languages to be completely specified and verified using formal semantics. Its types and pattern matching make it well-suited and commonly used to operate on other formal languages, such as in compiler writing, automated theorem proving, and formal verification. Overview Features of ML include a call-by-value evaluation strategy, first-class functions, automatic memory management through garbage collection, parametric polymorph ...
[...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  

Meta' Language
Meta’ is a Grassfields language of Cameroon Cameroon (; french: Cameroun, ff, Kamerun), officially the Republic of Cameroon (french: République du Cameroun, links=no), is a country in west-central Africa. It is bordered by Nigeria to the west and north; Chad to the northeast; the C .... The Moghamo variety is perhaps divergent enough to be considered a separate language. Ngamambo is 88% similar lexically to Meta’, and often is considered separate. References Momo languages Languages of Cameroon {{SBantoid-lang-stub ...
[...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]