Applicative programming language
From Wikipedia, the free encyclopedia
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]
This article needs additional citations for verification. (April 2020) |
Not to be confused with applicative functors, introduced in the paper "Applicative programming with effects"[1].
The semantics of applicative languages are based on beta reduction of terms, and side effects such as mutation of state are not permitted.[4]