|
Applicative Form Of Monoidal Coherence Map 01
Applicative can refer to: *Applicative programming language *Applicative voice The applicative voice (; abbreviated or ) is a grammatical voice that promotes an oblique argument of a verb to the core object argument. It is generally considered a valency-increasing morpheme. The Applicative is often found in agglutinative ... * Applicative functor {{Disambiguation ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Applicative Programming Language
In the classification of programming languages, an applicative programming language is built out of functions applied to arguments. Applicative languages are functional, and applicative is often used as a synonym for functional. However, concatenative languages can be functional, while not being applicative. The semantics of applicative languages are based on beta reduction of terms, and side effects such as mutation of state are not permitted. Lisp and ML are applicative programming languages. See also * Applicative universal grammar * Function-level programming In computer science, function-level programming refers to one of the two contrasting programming paradigms identified by John Backus in his work on programs as mathematical objects, the other being value-level programming. In his 1977 Turing A ... References {{Reflist Programming language classification Applicative computing systems ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Applicative Voice
The applicative voice (; abbreviated or ) is a grammatical voice that promotes an oblique argument of a verb to the core object argument. It is generally considered a valency-increasing morpheme. The Applicative is often found in agglutinative languages, such as the Bantu languages and Austronesian languages. Other examples include Nuxalk, Ubykh, and Ainu. Behavior Prototypically, applicatives apply to intransitive verbs. Dixon, R.M.W. & Alexandra Y. Aikhenvald (eds) (1999). ''The Amazonian Languages''. Cambridge: Cambridge University Press. They can also be called "advancements" or "object promotion" because they bring a peripheral object to the centre as a direct object. This object is sometimes called the applied object. For transitive verbs, the resulting verb can be ditransitive, or the original object is no longer expressed. If the original object is no longer expressed, it is not a valency-increasing operationPayne, Thomas E. (1997). Describing morphosyntax: A guide ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |