Computing Atlas

How Computing Was Built
Concepts

Functional Programming

Also Known As FP
Paradigm

Citation Formats

General Reference

APA Style

BibTeX

Functional programming is a programming paradigm in which programs are constructed by applying and composing functions, treating computation as evaluation rather than as a sequence of state changes. Its formal root is the lambda calculus, developed in the 1930s by Alonzo Church as a system of computation built from function application, and its first high level language was Lisp, developed in the late 1950s for the IBM 700 and 7000 series scientific computers.

Facts
Disputed
Origin Year
1977 1
The lambda calculus (1930s) and Lisp (1958) supplied functional programming's mathematical and practical roots, but the paradigm was named and argued for as a discipline in John Backus's 1977 Turing Award lecture, so scholars date the named paradigm differently from its technical origins.
Core Principle
Build programs by composing functions that return values, avoiding changing state, so that a piece of code means the same thing wherever it runs. 1
Cross-Tradition Connections

Associated With

John McCarthy, Pioneers

John McCarthy's Lisp (1958) was the first language to embody functional programming's core ideas, treating functions as first-class values and favoring recursion over iteration.

Lisp, Languages

Lisp is the first high level functional programming language.

In Field

Sources
1. Wikipedia: Functional Programming
Wikimedia FoundationIntroduction and History sections
Quote, Introduction and History sections
functional programming is a programming paradigm where programs are constructed by applying and composing functions.
View the Source
1. Wikipedia: Functional Programming
Wikimedia FoundationHistory section
Quote, History section
The lambda calculus, developed in the 1930s by Alonzo Church, is a formal system of computation built from function application.
View the Source
1. Wikipedia: Functional Programming
Wikimedia FoundationHistory
Quote, History
John Backus presented FP in his 1977 Turing Award lecture 'Can Programming Be Liberated From the von Neumann Style? A Functional Style and its Algebra of Programs'.
View the Source
The Innovators: How a Group of Hackers, Geniuses, and Geeks Created the Digital Revolution
Walter Isaacson, Simon and Schuster, 2014Associated With: John McCarthy
Comments (0)
No comments yet. Be the first to share a thought.
Reader Challenges (0 open reader challenges)
No disputes yet. Spotted an error or a better source? Open the first one.

View At A Past Year

The atlas records no dated fact of its own for this entry, so there is no other year to choose.