Applicative programming language
Template:More citations needed Template:Distinguish
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.<ref>Template:Cite conference</ref> However, concatenative languages can be functional, while not being applicative.<ref>{{#invoke:citation/CS1|citation |CitationClass=web }}</ref>
The semantics of applicative languages are based on beta reduction of terms, and Side effect such as mutation of state are not permitted.<ref name="Backus 1977">Template:Cite journal</ref>
Lisp and ML are applicative programming languages.