В классификации языков программирования, прикладной язык программирования построен из функций, применяемых к аргументам. Аппликативные языки - это функциональные, а аппликативные языки часто используются как синоним функционального. Однако конкатенативные языки могут быть функциональными, но не аппликативными.
семантика прикладных языков основана на бета-сокращении терминов, и побочные эффекты, такие как мутация состояния, не допускаются.
Lisp и ML являются прикладными языками программирования.