How functional programming mattered

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

PDF - Publisher pdf
Download (365kB) Preview
[img]
Preview
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
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: 17 Feb 2016 10:36 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