Applicative programming language
From Wikipedia, the free encyclopedia
The printable version is no longer supported and may have rendering errors. Please update your browser bookmarks and please use the default browser print function instead.
This article needs additional citations for verification . Please help improve this article by adding citations to reliable sources. Unsourced material may be challenged and removed.
Find sources: "Applicative programming language" – news · newspapers · books · scholar · JSTOR (April 2020) (Learn how and when to remove this message)
Find sources: "Applicative programming language" – news · newspapers · books · scholar · JSTOR (April 2020) (Learn how and when to remove this message)
Not to be confused with applicative functors, introduced in the paper "Applicative programming with effects"[1] .
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.[2] However, concatenative languages can be functional, while not being applicative.[3]
The semantics of applicative languages are based on beta reduction of terms, and Side effect such as mutation of state are not permitted.[4]
Lisp and ML are applicative programming languages.
See also
References
- ^ McBride, Conor; Paterson, Ross (2008年01月01日). "Applicative programming with effects". Journal of Functional Programming. 18 (1): 1–13. CiteSeerX 10.1.1.114.1555 . doi:10.1017/S0956796807006326. ISSN 1469-7653.
- ^ Dershowitz, Nachum; Plaisted, David A. (1985). "Logic Programming cum Applicative Programming". Symposium on Logic Programming. Boston, MA. pp. 54–66. CiteSeerX 10.1.1.404.3826 .
- ^ Jon Purdy (12 February 2012). "Why Concatenative Programming Matters" . Retrieved 28 April 2020.
- ^ Backus, J. (1978). "Can programming be liberated from the von Neumann style?: A functional style and its algebra of programs". Communications of the ACM. 21 (8): 613–641. doi:10.1145/359576.359579 .