metalanguage
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.
Translations of metalanguagein Chinese (Traditional)
元語言，純理語言（用來分析或描述某種語言結構的語言或符號系統）…
in Chinese (Simplified)
元语言，纯理语言（用来分析或描述某种语言结构的语言或符号系统）…
in Portuguese
metalinguagem…
Need a translator?
Get a quick, free translation!
RetroSearch is an open source project built by @garambo | Open a GitHub Issue
Search and Browse the WWW like it's 1997 | Search results from DuckDuckGo
HTML:
3.2
| Encoding:
UTF-8
| Version:
0.7.4