电子书 函数式编程的科学《The...

电子书 函数式编程的科学《The Science of Functional Programming》
地址： github.com/winitzki/sofp
本书是对函数程序员所需的理论知识的教程性阐述。材料从第一原理出发，包含了对几乎所有所需结果的完整解释、推导和证明。1000多页。

本书假设读者具有一定的数学经验（大约在本科代数或微积分的水平），以及一些在通用编程语言中编写代码的经验。

这本书的愿景是解释指导函数式编程实践的数学理论。因此，本书中的所有数学发展都是由实际编程问题驱动的，并且都伴随着Scala代码来说明它们的使用。例如，标准类型类（例如函子、单子等）的法则首先通过代码示例启发性地激发出来。然后，这些法则被表述为数学方程式，并被严格证明。