Langage de programmation applicatif

Dans la classification des langages de programmation , un langage de programmation applicatif est construit à partir de fonctions appliquées à des arguments . Les langages applicatifs sont fonctionnels , et applicatif est souvent utilisé comme synonyme de fonctionnel. Cependant, les langages concaténatifs peuvent être fonctionnels, sans être applicatifs.

La sémantique des langages applicatifs est basée sur la réduction bêta des termes, et les effets secondaires tels que la mutation de l'état ne sont pas autorisés.

Lisp et ML sont des langages de programmation applicatifs.