| 词汇 | metalanguage |
| 释义 | metalanguage noun[ C ] language specializeduk /ˈmet.əˌlæŋ.ɡwɪdʒ/ us /ˈmet̬.əˌlæŋ.ɡwɪdʒ/ a specialized form of language or set of symbols used when discussing or describing the structure of a language元语言，纯理语言（用来分析或描述某种语言结构的语言或符号系统） Forms of languages & specialist dialects acrolect argot basilect cant colloquialism demotic jargon jargonistic journalese legalese lingo lingua franca pidgin pidginization pidginize plain English Polari psychobabble shibboleth vernacularly Examples of metalanguagemetalanguage The expressive power of such a metalanguage would allow the representation and the manipulation of proof objects, via the usual "propositionsas-types" paradigm. Another direction is to extend the model in order to handle more expressive metalanguages. For example, capture-avoiding substitution is merely function application in the metalanguage. It is a comparatively large semantic metalanguage with notation for all the fundamental computational concepts found in programming languages. The advanced learners are shown to use metalanguage much more often than their intermediate counterparts, particularly in lexical episodes. By expressing source programs in this metalanguage, let expressions appear naturally. In this paper, the meaning of the word aunty is described in the form of a reductive paraphrase using natural semantic metalanguage. We use the convention that object language expressions are written in teletype and metalanguage expressions in italic. Anagrams are always indicated as such by use of metalanguage, and it is important that the latter blends into the clue as naturally as possible. Section 3 discusses mapping values back from the object language to the metalanguage and shows how this yields a simple form of metaprogramming. Scripting languages often have late-binding, runtime types, or reflective operations, which one might expect to be difficult to project back to a statically-typed metalanguage. The perceived autonomy, he argues, is to be found in the formal metalanguage, not in the object of description, natural language. Put this way, it should be evident that children before they get to school have learned some metalanguage. Observe that the symbol '' is also used in the metalanguage to build the standard set-theoretic function space between two sets. One approach is to define the type theory in a metalanguage. These examples are from corpora and from sources on the web. Any opinions in the examples do not represent the opinion of the Cambridge Dictionary editors or of Cambridge University Press or its licensors. |
| 随便看 |
|
反思网英语在线翻译词典收录了377474条英语词汇在线翻译词条，基本涵盖了全部常用英语词汇的中英文双语翻译及用法，是英语学习的有利工具。