函数式设计：原则、模式与实践（英文版）

在本书中，著名软件工程师Bob大叔解释了为何使用函数式编程，以及如何做才能为客户构建更好的系统。Bob大叔将Java中传统的面向对象的编程结构与函数式语言所支持的编程结构进行了对比，确定了每种结构的作用，并展示了如何明智地在合理上下文中使用两者来构建更好的系统。 作风务实的Bob大叔能用最少的理论讲清并解决“真刀真枪”的实战问题。通过易于理解的示例，开发人员能发现易于学习且语义丰富的Clojure语言如何帮助他们提高代码的整洁性、设计性、纪律性和成效性。Bob大叔还从函数式的视角研究了著名的SOLID原则和GOF设计模式，揭示了模式对于函数式程序员仍极具价值的原因，以及使用它们来实现卓越成效的方法。 通过阅读本书，你将能够： ?理解函数式编程基础：不变性、持久性数据、递归、迭代、惰性和状态性； ?通过精心设计的案例研究对比函数式方法和面向对象方法； ?探索数据流的函数式设计技术； ?使用经典的SOLID原则编写更好的Clojure代码；?   掌握实现函数式测试、GUI和并发性的实用方法； ?在函数式编程中充分利用设计模式； ?逐步构建企业级Clojure应用程序。

本书是一本向程序员介绍如何有效使用函数式编程语言的实用指南。它侧重于现实世界中的应用，避免深入探讨Monads、Monoids、Functors和Categories等理论方面的内容，因为这些内容已经集成到常用语言、库和框架中。相反，本书强调如何以及为什么要在日常软件开发中使用函数式编程，书中比较了Java等面向对象语言和Clojure等函数式语言的编码结构。之所以选择这些语言，是因为它们使用广泛（Java）且简单（Clojure）。 本书还重点描述了用函数式方法构建系统的设计和架构原则，书中使用了统一建模语言（Unified Modeling Language，UML）图，并参考了软件设计的SOLID原则、设计模式，以及整洁架构的概念。

目    录<br />第一部分  函数式基础<br />第1章  不变性3<br />什么是函数式编程4<br />赋值的问题7<br />为什么叫它“函数式”10<br />没有状态改变吗12<br />不变性概念15<br />第2章  持久性数据17<br />关于瞒天过海19<br />制作副本20<br />结构共享23<br />第3章  递归和迭代27<br />迭代28<br />极简Clojure教程29<br />迭代概述32<br />TCO、Clojure和JVM32<br />递归32<br />第4章  惰性37<br />惰性累积40<br />为何需要惰性41<br />尾声42<br />第5章  状态性43<br />何时必须“可变”47<br />软件事务内存48<br />生活不易，软件更难51<br />第二部分  比较性分析<br />第6章  质因数练习55<br />Java版56<br />Clojure版60<br />总结63<br />第7章  保龄球练习65<br />Java版66<br />Clojure版71<br />总结75<br />第8章  八卦公交司机练习77<br />Java版78<br />公交司机文件84<br />行车线路文件85<br />公交车站文件85<br />八卦故事文件86<br />模拟过程文件87<br />Clojure版88<br />总结93<br />第9章  面向对象编程95<br />函数式工资问题解决方案98<br />命名空间与源文件107<br />总结108<br />第10章  类型109<br />第三部分  函数式设计<br />第11章  数据流117<br />第12章  SOLID125<br />单一职责原则126<br />开闭原则131<br />函数133<br />带虚表的对象134<br />多重方法135<br />独立部署136<br />里氏替换原则138<br />ISA原则142<br />这不对145<br />代表原则146<br />接口隔离原则147<br />不需要就别依赖150<br />为什么151<br />总结151<br />依赖倒置原则152<br />回忆杀155<br />违背依赖倒置原则165<br />总结179<br />第四部分  函数式实用主义<br />第13章  测试183<br />REPL184<br />Mock184<br />基于性质的测试186<br />诊断技术190<br />函数式197<br />第14章  GUI199<br />用Quil进行海龟绘图200<br />第15章  并发性215<br />总结225<br />第五部分  设计模式<br />第16章  设计模式回顾229<br />函数式编程中的模式233<br />抽象服务器模式233<br />适配器模式236<br />那真的是适配器对象吗241<br />命令模式242<br />撤销245<br />组合模式249<br />函数式254<br />装饰器模式260<br />访问者模式264<br />To Close or to Clojure267<br />90°问题270<br />抽象工厂模式274<br />90°问题重现279<br />类型安全吗281<br />总结281<br />补充：面向对象是毒药吗282<br />第六部分  案例研究<br />第17章  Wa-Tor小游戏287<br />如鲠在喉309<br />解决问题312<br />让鱼疯狂繁殖322<br />对于鲨鱼324<br />总结335<br />后记337<br />索引341