functional language

computer language

Written by

The Information Architects of Encyclopaedia Britannica

Last updated

June 17, 2026

Quick Summary

Functional languages are a type of declarative programming language where programs are built by applying functions to arguments. Unlike procedural languages that specify how to do something, declarative languages focus on what needs to be done. Functional languages, such as LISP, ML, and Haskell, are used in areas like automated mathematical theorem proving and language development research. They offer a mathematical style of programming and are considered very high-level languages.1

Summary created from Britannica articles using AI. AI can make mistakes, so verify using Britannica articles.

2 Britannica Sources

computer programming language - Declarative languages
computer science - Programming languages

Ask Britannica AI about this topic

Britannica doesn't have a full article on this topic, so we've curated a list of our relevant coverage.

computer programming language
Declarative languages
Functional languages have a mathematical style. A functional program is constructed by applying functions to arguments. Functional languages, such as LISP, ML, and Haskell, are used as research tools in language development, in automated mathematical theorem provers, and in some commercial projects.
Read More
Functional languages have a mathematical style. A functional program is constructed by applying functions to arguments. Functional languages, such as LISP, ML, and Haskell, are used as research tools in language development, in automated mathematical theorem provers, and in some commercial projects.
Read More
computer science
Programming languages
Other high-level languages are called functional languages, in that a program is viewed as a collection of (mathematical) functions and its semantics are very precisely defined. The best-known functional language of this type is LISP (List Processing), which in the 1960s was the mainstay programming language for AI applications. Successors…
Read More
Other high-level languages are called functional languages, in that a program is viewed as a collection of (mathematical) functions and its semantics are very precisely defined. The best-known functional language of this type is LISP (List Processing), which in the 1960s was the mainstay programming language for AI applications. Successors…
Read More