~2026-2699: /* References */

2026-01-01T02:11:53Z

References

← Previous revision		Revision as of 02:11, 1 January 2026
Line 1:		Line 1:
	{{More citations needed\|date=April 2020}}		{{More citations needed\|date=April 2020}}
	{{Distinguish\|text=[[applicative functor\|applicative functors]], introduced in the paper "Applicative programming with effects"<ref>{{Cite journal\|last1=McBride\|first1=Conor\|last2=Paterson\|first2=Ross\|date=2008-01-01\|title=Applicative programming with effects\|journal=Journal of Functional Programming\|volume=18\|issue=1\|pages=1–13\|doi=10.1017/S0956796807006326~~\|doi-broken-date=2024-11-20~~ \|issn=1469-7653\|citeseerx=10.1.1.114.1555}}</ref>}}		{{Distinguish\|text=[[applicative functor\|applicative functors]], introduced in the paper "Applicative programming with effects"<ref>{{Cite journal\|last1=McBride\|first1=Conor\|last2=Paterson\|first2=Ross\|date=2008-01-01\|title=Applicative programming with effects\|journal=Journal of Functional Programming\|volume=18\|issue=1\|pages=1–13\|doi=10.1017/S0956796807006326\|issn=1469-7653\|citeseerx=10.1.1.114.1555}}</ref>}}

	In the [[programming paradigm\|classification of programming languages]], an '''applicative programming language''' is built out of [[Function (computer science)\|functions]] applied to [[Argument (computer science)\|arguments]]. Applicative languages are [[Functional programming\|functional]], and applicative is often used as a synonym for functional.<ref>{{cite conference\|title=Logic Programming cum Applicative Programming\|first1=Nachum\|last1=Dershowitz\|first2=David A.\|last2=Plaisted\|year=1985\|book-title=Symposium on Logic Programming\|place=Boston, MA\|pages=54–66\|citeseerx=10.1.1.404.3826}}</ref> However, [[concatenative languages]] can be functional, while not being applicative.<ref>{{cite web\|url=https://evincarofautumn.blogspot.com/2012/02/why-concatenative-programming-matters.html\|title=Why Concatenative Programming Matters\|author=Jon Purdy\|date=12 February 2012\|access-date=28 April 2020}}</ref>		In the [[programming paradigm\|classification of programming languages]], an '''applicative programming language''' is built out of [[Function (computer science)\|functions]] applied to [[Argument (computer science)\|arguments]]. Applicative languages are [[Functional programming\|functional]], and applicative is often used as a synonym for functional.<ref>{{cite conference\|title=Logic Programming cum Applicative Programming\|first1=Nachum\|last1=Dershowitz\|first2=David A.\|last2=Plaisted\|year=1985\|book-title=Symposium on Logic Programming\|place=Boston, MA\|pages=54–66\|citeseerx=10.1.1.404.3826}}</ref> However, [[concatenative languages]] can be functional, while not being applicative.<ref>{{cite web\|url=https://evincarofautumn.blogspot.com/2012/02/why-concatenative-programming-matters.html\|title=Why Concatenative Programming Matters\|author=Jon Purdy\|date=12 February 2012\|access-date=28 April 2020}}</ref>
Line 14:		Line 14:
	==References==		==References==
	{{Reflist}}		{{Reflist}}

			{{Programming paradigms navbox}}

	[[Category:Programming language classification]]		[[Category:Programming language classification]]
	[[Category:Applicative computing systems]]		[[Category:Applicative computing systems]]

imported>Slappi at 14:36, 2 December 2024

2024-12-02T14:36:05Z

New page

{{More citations needed|date=April 2020}}
{{Distinguish|text=[[applicative functor|applicative functors]], introduced in the paper "Applicative programming with effects"<ref>{{Cite journal|last1=McBride|first1=Conor|last2=Paterson|first2=Ross|date=2008-01-01|title=Applicative programming with effects|journal=Journal of Functional Programming|volume=18|issue=1|pages=1–13|doi=10.1017/S0956796807006326|doi-broken-date=2024-11-20 |issn=1469-7653|citeseerx=10.1.1.114.1555}}</ref>}}

In the [[programming paradigm|classification of programming languages]], an '''applicative programming language''' is built out of [[Function (computer science)|functions]] applied to [[Argument (computer science)|arguments]]. Applicative languages are [[Functional programming|functional]], and applicative is often used as a synonym for functional.<ref>{{cite conference|title=Logic Programming cum Applicative Programming|first1=Nachum|last1=Dershowitz|first2=David A.|last2=Plaisted|year=1985|book-title=Symposium on Logic Programming|place=Boston, MA|pages=54–66|citeseerx=10.1.1.404.3826}}</ref> However, [[concatenative languages]] can be functional, while not being applicative.<ref>{{cite web|url=https://evincarofautumn.blogspot.com/2012/02/why-concatenative-programming-matters.html|title=Why Concatenative Programming Matters|author=Jon Purdy|date=12 February 2012|access-date=28 April 2020}}</ref>

The [[Semantics (computer science)|semantics]] of applicative languages are based on [[beta reduction]] of terms, and [[Side effect (computer science)|Side effect]] such as mutation of [[State (computer science)|state]] are not permitted.<ref name="Backus 1977">{{Cite journal | doi = 10.1145/359576.359579| title = Can programming be liberated from the von Neumann style?: A functional style and its algebra of programs| journal = Communications of the ACM| volume = 21| issue = 8| pages = 613–641| year = 1978| last1 = Backus | first1 = J. | doi-access = free}}</ref>

[[Lisp programming language|Lisp]] and [[ML programming language|ML]] are applicative programming languages.

==See also==
* [[Applicative universal grammar]]
* [[Function-level programming]]

==References==
{{Reflist}}

[[Category:Programming language classification]]
[[Category:Applicative computing systems]]

Applicative programming language - Revision history

~2026-2699: /* References */

imported>Slappi at 14:36, 2 December 2024