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 this file (PDF/385kB) |
Preview |
| Request a format suitable for use with assistive technology e.g. a screenreader | |
| 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) |
- Link to SensusAccess
- Export to:
- RefWorks
- EPrints3 XML
- BibTeX
- CSV
- Depositors only (login required):
Altmetric
Altmetric
