Applicative programming language

Applicative programming language

In the classification of programming languages, an applicative programming language is designed to support the development of programs as giving the result of a function of the combined variables. Successive functional transformations are applied to data to arrive at the result. Such a language, with program control and total state kept in the background, may also be known as a functional language, in a rather loose sense of the term.
Lisp and ML are applicative programming languages. In Haskell, this programming paradigm is developed into the applicative functor, which extends the higher-order functional abstraction beyond monad.

ee also

* [http://www.soi.city.ac.uk/~ross/papers/Applicative.html Applicative Programming with Effects] (in Haskell, 2008) by Ross Paterson
* Function-level programming
* Applicative Universal Grammar


Wikimedia Foundation. 2010.

Игры ⚽ Поможем сделать НИР

Look at other dictionaries:

  • Lisp (programming language) — Infobox programming language name = Lisp paradigm = multi paradigm: functional, procedural, reflective generation = 3GL year = 1958 designer = John McCarthy developer = Steve Russell, Timothy P. Hart, and Mike Levin latest release version =… …   Wikipedia

  • SASL (programming language) — Infobox programming language name = SASL paradigm = functional year = 1972 designer = David Turner developer = latest release version = latest release date = latest test version = latest test date = typing = implementations = dialects =… …   Wikipedia

  • Opal (programming language) — OPAL (OPtimized Applicative Language) is a functional programming language first developed at the Technical University of Berlin. Example program This is an example OPAL program, which calculates the GCD recursively. Signature file: SIGNATURE GCD …   Wikipedia

  • Applicative Universal Grammar — Applicative Universal Grammar, or AUG, is a universal semantic metalanguage intended for studying the semantic processes in particular languages [ Shaumyan S. A Semiotic Theory of Language . Bloomington and Indianapolis: Indiana University Press …   Wikipedia

  • Applicative computing systems — Applicative computing systems, or ACS are the systems of object calculi founded on combinatory logic and lambda calculus [Wolfengagen V.E. Methods and means for computations with objects. Applicative Computational Systems. M.: JurInfoR Ltd.,… …   Wikipedia

  • Applicative — can refer to:*Applicative programming language *Applicative voice *Verb applicative …   Wikipedia

  • Language internaute — Jargon informatique Le jargon informatique est un pseudo langage propre aux représentants des professions gravitant autour de l informatique. Discutant essentiellement par messages courts, ces personnes utilisent en excès des abréviations,… …   Wikipédia en Français

  • Flow-based programming — In computer science, flow based programming (FBP) is a programming paradigm that defines applications as networks of black box processes, which exchange data across predefined connections by message passing. These black box processes can be… …   Wikipedia

  • Monad (functional programming) — In functional programming, a monad is a programming structure that represents computations. Monads are a kind of abstract data type constructor that encapsulate program logic instead of data in the domain model. A defined monad allows the… …   Wikipedia

  • 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 award …   Wikipedia

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”