How functional programming mattered
Artikel i vetenskaplig tidskrift, 2015
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.
monad
high order function
functional languages
functional programming
equational reasoning
Författare
Z. J. Hu
Research Organization of Information and Systems National Institute of Informatics
Sokendai Graduate University for Advanced Studies
John Hughes
Chalmers, Data- och informationsteknik, Programvaruteknik
M. Wang
University of Kent
National Science Review
2053-714X (ISSN)
Vol. 2 3 349-370Ämneskategorier (SSIF 2011)
Programvaruteknik
DOI
10.1093/nsr/nwv042