How Functional Programming Mattered, National Science Review
How Functional Programming Mattered, National Science Review
复制标题
函数式编程如何重要,国家科学评论
DOI:
10.1093/nsr/nwv042
复制
发表时间:
2015
期刊:
影响因子:
--
通讯作者:
Meng Wang
中科院分区:
文献类型:
--
作者:
Zhenjiang Hu;John Hughes;Meng Wang
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.