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) (KAR id:50323)

PDF Publisher pdf
Language: English
Download (365kB) Preview
[thumbnail of matter.pdf]
Preview
This file may not be suitable for users of assistive technology.
Request an accessible format
Official URL
http://dx.doi.org/10.1093/nsr/nwv042

Abstract

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: Divisions > Division of Computing, Engineering and Mathematical Sciences > School of Computing
Depositing User: Meng Wang
Date Deposited: 27 Aug 2015 23:57 UTC
Last Modified: 16 Feb 2021 13:27 UTC
Resource URI: https://kar.kent.ac.uk/id/eprint/50323 (The current URI for this page, for reference purposes)
  • Depositors only (login required):

Downloads

Downloads per month over past year