约翰·休斯教授曾写过一篇论文，专门论述函数式编程的重要性。在其中，休斯指出：
函数式语言的两个特性：高阶函数和懒求值，能有效提升模块化。 ~ 约翰·休斯（John Hughes）
John Hughes 约翰·休斯是谁？
约翰·休斯（生于 1958 年 7 月 15 日）是一名瑞典计算机科学家，也是查尔姆斯理工大学（Chalmers University of Technology）计算机学院的教授。他是查尔姆斯函数式语言组的成员，主要工作与 Haskell 编程语言有关。在该领域发表了很多有影响力的论文，其中包括 “Why Functional Programming Matters“（后文简称 whyfp）。
whyfp 是休斯教授 1984 发表的论文，主要解释函数式编程的重要性，其中关键在于模块化。
为了展示高阶函数和懒求值的应用，论文包含以下几部分
处理数组和树
使用高阶函数和递归模式，可轻松重复使用模块，以便实现更复杂的功能。
数值算法
基于懒求值，通过模块化实现了牛顿-拉弗森（Newton-Raphson）平方根算法。
另外，还使用懒求值实现了数值微积分。
Alpha-beta 启发法，一种 AI 算法
通过结合使用高阶函数和懒求值这两个粘合剂，可以实现人工智能复杂的算法。
论文地址可参见这里。
REF
- Why Functional Programming Matters (paper review), by Matt Gathu, 2017/08/06
- John Hughes - wikipedia
- John Hughes - chalmers.se
- Why Functional Programming Matters, by John Hughes, 1984