Skip to main content

How functional programming mattered

Hu, Zhenjiang, Hughes, John, Wang, Meng (2015) How functional programming mattered. National Science Review, 2 (3). pp. 349-370. ISSN 2095-5138. E-ISSN 2053-714X. (doi:10.1093/nsr/nwv042)

PDF - Publisher pdf
Download (365kB) Preview
Official URL


In 1989 when functional programming was still considered a niche topic, Hughes wrote a visionary paper arguing convincingly ‘why functional programming matters’. More than two decades have passed. Has functional programming really mattered? Our answer is a resounding ‘Yes!’. Functional programming is now at the forefront of a new generation of programming technologies, and enjoying increasing popularity and influence. In this paper, we review the impact of functional programming, focusing on how it has changed the way we may construct programs, the way we may verify programs, and fundamentally the way we may think about programs.

Item Type: Article
DOI/Identification number: 10.1093/nsr/nwv042
Uncontrolled keywords: functional programming, functional languages, equational reasoning, monad, high order function
Subjects: Q Science > QA Mathematics (inc Computing science) > QA 76 Software, computer programming,
Divisions: Faculties > Sciences > School of Computing > Programming Languages and Systems Group
Depositing User: Meng Wang
Date Deposited: 27 Aug 2015 23:57 UTC
Last Modified: 29 May 2019 15:58 UTC
Resource URI: (The current URI for this page, for reference purposes)
  • Depositors only (login required):


Downloads per month over past year